Warning:
This wiki has been archived and is now read-only.

ElementEqualityFromListEquality

From RIF
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorJos de Bruijn
StatusApproved
RecordFebruary 16, 2010 telecon
DialectBLD
PurposeTest equality between lists
DescriptionEquality of elements is derived from equality of lists.
SeeAlso
SpecRefBLD#Logical_Entailment
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group( List(ex:a) = List(ex:b) ) )
XMLview RIF/XML
Conclusion
Presentation Syntaxex:a=ex:b
XMLview RIF/XML