SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Predicate > SententialOperator > =>

=> 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
=>	Formula	Formula	The truth-functional connective of implication		SententialOperator

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