SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Predicate > SententialOperator > and |
and 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 | |||
and | Formula | Formula | The truth-functional connective of conjunction | SententialOperator |
Next SententialOperator: entails Up: SententialOperator Previous SententialOperator: =>