SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > ReflexiveRelation > EquivalenceRelation > near
Next EquivalenceRelation: relatedInternalConcept    Up: EquivalenceRelation    Previous EquivalenceRelation: familyRelation   

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 TransitiveRelationTransitiveRelation
(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=>
          (and
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (holds ?REL ?INST1 ?INST3))))
nearEquivalenceRelationThe relation of common sense adjacency without contact. (near ?OBJ1 ?OBJ2) means that ?OBJ1 is near ?OBJ2 
(=>
    (along ?OBJ1 ?OBJ2)
    (near ?OBJ1 ?OBJ2))

Next EquivalenceRelation: relatedInternalConcept    Up: EquivalenceRelation    Previous EquivalenceRelation: familyRelation