SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > SententialOperator > entails
Next SententialOperatornot    UpSententialOperator    Previous SententialOperatorand   

entailsdocumentation The operator of logical entailment. (entails ?FORMULA1 ?FORMULA2) means that ?FORMULA2 can be derived from ?FORMULA1 by means of the proof theory of SUO-KIF2001-11-30 13:34:11.0
has axiom
(holdsDuring ?TIME ?SITUATION1)
(holdsDuring ?TIME ?SITUATION2))
2001-11-30 13:34:11.0
has domain1 Formula2001-11-30 13:34:11.0
has domain2 Formula2001-11-30 13:34:11.0
is an instance of SententialOperator2001-11-30 13:34:11.0
Predicateis first domain of singleValued2001-11-30 13:35:02.0
Relationis second domain of subrelation2001-11-30 13:35:10.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0