SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Predicate > SententialOperator > and

and
subject			fact

and	documentation The truth-functional connective of conjunction
	has domain1 Formula
	has domain2 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