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: <=>