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

adjacent 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))))
adjacentEquivalenceRelation(adjacent ?OBJ1 ?OBJ2) means that ?OBJ1 is close to, near or abutting ?OBJ2 with no other structure of the same kind intervening. This Predicate covers the following relations: adjoins, abuts, is contiguous to, is juxtaposed, and is close to 
(=>
    (adjacent ?OBJ1 ?OBJ2)
    (or
       (near ?OBJ1 ?OBJ2)
       (connected ?OBJ1 ?OBJ2)))

Next EquivalenceRelation: along    Up: EquivalenceRelation    Previous EquivalenceRelation: relatedInternalConcept