SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > ReflexiveRelation > EquivalenceRelation > near |
near comparison table |
Subject | is an instance of | documentation | is a kind of | have axiom |
---|---|---|---|---|
EquivalenceRelation | A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation | TransitiveRelation | (=> | |
near | EquivalenceRelation | The relation of common sense adjacency without contact. (near ?OBJ1 ?OBJ2) means that ?OBJ1 is near ?OBJ2 | (=> |
Next EquivalenceRelation: relatedInternalConcept Up: EquivalenceRelation Previous EquivalenceRelation: familyRelation