SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Predicate > SententialOperator > not

not
subject			fact

not	documentation The truth-functional connective of negation
	has domain1 Formula
	is an instance of SententialOperator
Predicate	is first domain of singleValued
Relation	is second domain of subrelation
Class	has axiom (<=> (instance ?CLASS Class) (subclass ?CLASS Entity))
	has axiom (forall (?INT) (domain disjointDecomposition ?INT Class))
	has axiom (forall (?INT) (domain exhaustiveDecomposition ?INT Class))
	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical