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