SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > ReflexiveRelation > EquivalenceRelation > adjacent |
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 TransitiveRelation | TransitiveRelation | (=> | |
adjacent | EquivalenceRelation | (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 | (=> |
Next EquivalenceRelation: along Up: EquivalenceRelation Previous EquivalenceRelation: relatedInternalConcept