SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > SententialOperator > entails
Next SententialOperator: not    Up: SententialOperator    Previous SententialOperator: and   

entails
subjectfact 
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 
(=>
    (and
       (holdsDuring ?TIME ?SITUATION1)
       (entails ?SITUATION1 ?SITUATION2))
    (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