EntailEverything

From RIF
Revision as of 15:38, 18 April 2009 by StellaMitchell (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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