EntailEverything

From RIF

Revision as of 15:38, 18 April 2009 by StellaMitchell (Talk | contribs)
(diff) ←Older revision | Current 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 XML
Conclusion
Presentation SyntaxAnd ( ex:A(2) ex:A("any string") ex:A(<http://some.example.org>) )
XMLview XML
Retrieved from "http://www.w3.org/2005/rules/wiki/EntailEverything"