SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Predicate > SententialOperator > not |
not comparison table |
Subject | have domain1 | documentation | is a kind of | is an instance of |
---|---|---|---|---|
SententialOperator | This Class currently comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>') | Predicate | ||
not | Formula | The truth-functional connective of negation | SententialOperator |
Next SententialOperator: or Up: SententialOperator Previous SententialOperator: entails