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