SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Predicate > SententialOperator > or

or comparison table

Subject	have domain2	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
or	Formula	Formula	The truth-functional connective of disjunction		SententialOperator

Next SententialOperator: <=>    Up: SententialOperator    Previous SententialOperator: not