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

entails comparison table
Subject have domain2 have domain1 documentation have axiom is a kind of is an instance of
SententialOperator  This Class currently comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>')
(forall (?INT) (domain exhaustiveDecomposition ?INT Class))
Predicate 
entailsFormulaFormulaThe operator of logical entailment. (entails ?FORMULA1 ?FORMULA2) means that ?FORMULA2 can be derived from ?FORMULA1 by means of the proof theory of SUO-KIF
(=>
    (and
       (holdsDuring ?TIME ?SITUATION1)
       (entails ?SITUATION1 ?SITUATION2))
    (holdsDuring ?TIME ?SITUATION2))
 SententialOperator

Next SententialOperator: not    Up: SententialOperator    Previous SententialOperator: and