SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > ReflexiveRelation > EquivalenceRelation > near
Next EquivalenceRelationrelatedInternalConcept    UpEquivalenceRelation    Previous EquivalenceRelationfamilyRelation   

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 EquivalenceRelationrelatedInternalConcept    UpEquivalenceRelation    Previous EquivalenceRelationfamilyRelation