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

along comparison table
Subject documentation have axiom is a kind of is an instance of have relatedInternalConcept
EquivalenceRelationA BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation
(=>
    (instance ?REL TransitiveRelation)
    (forall (?INST1 ?INST2 ?INST3)
       (=>
          (and
             (holds ?REL ?INST1 ?INST2)
             (holds ?REL ?INST2 ?INST3))
          (holds ?REL ?INST1 ?INST3))))
TransitiveRelation  
along(along ?OBJ1 ?OBJ2) means that the Object ?OBJ1 shares the area of ?OBJ2 at least as far the extension of one dimension is concerned
(=>
    (and
       (along ?OBJ1 ?OBJ2)
       (along ?OBJ3 ?OBJ2))
    (connects ?OBJ2 ?OBJ1 ?OBJ3))
 EquivalenceRelationtraverses

Next EquivalenceRelation: cooccur    Up: EquivalenceRelation    Previous EquivalenceRelation: adjacent