SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Predicate > SententialOperator > entails |
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 | |||
entails | Formula | Formula | The operator of logical entailment. (entails ?FORMULA1 ?FORMULA2) means that ?FORMULA2 can be derived from ?FORMULA1 by means of the proof theory of SUO-KIF | (=> | SententialOperator |
Next SententialOperator: not Up: SententialOperator Previous SententialOperator: and