EntailEverything

From RIF
(Redirected from EntailEverything 1)
Jump to: navigation, search




Test TypePositiveEntailmentTest
ContributorGary Hallmark
StatusApproved
RecordF2F13
DialectBLD
PurposeTest that arbitrary Consts are entailed
Description
SeeAlso
SpecRef
Premises
Presentation SyntaxDocument( Prefix(ex <http://example.org/example#>) Group ( Forall ?x ( ex:A(?x) ) ) )
XMLview RIF/XML
Conclusion
Presentation SyntaxAnd ( ex:A(2) ex:A("any string") ex:A(<http://some.example.org>) )
XMLview RIF/XML