SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > SententialOperator > and
Next SententialOperatorentails    UpSententialOperator    Previous SententialOperator=>   

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 
andFormulaFormulaThe truth-functional connective of conjunction SententialOperator

Next SententialOperatorentails    UpSententialOperator    Previous SententialOperator=>