SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Predicate > SententialOperator

SententialOperator
subject			fact

SententialOperator	documentation This Class currently comprises all of the logical operators (viz. 'and', 'or', 'not', '=>', and '<=>')
	is a kind of Predicate
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

Kinds of SententialOperator :

• <=> (4 facts) - The truth-functional connective of bi-implication
• => (4 facts) - The truth-functional connective of implication
• and (4 facts) - The truth-functional connective of conjunction
• entails (5 facts) - The operator of logical entailment. (entails ?FORMULA1 ?FORMULA2) means that ?FORMULA2 can be derived from ?FORMULA1 by means of the proof theory of SUO-KIF
• not (3 facts) - The truth-functional connective of negation
• or (4 facts) - The truth-functional connective of disjunction