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

adjacent
subjectfact 
adjacentdocumentation (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 to2001-11-30 13:33:33.0
has axiom
(=>
(adjacent ?OBJ1 ?OBJ2)
(or
(near ?OBJ1 ?OBJ2)
(connected ?OBJ1 ?OBJ2)))
2001-11-30 13:33:33.0
is an instance of EquivalenceRelation2001-11-30 13:33:33.0
BinaryRelationis first domain of DomainFn2001-11-30 13:33:44.0
is first domain of equivalenceRelationOn2001-11-30 13:33:44.0
is first domain of inverse2001-11-30 13:33:44.0
is first domain of irreflexiveOn2001-11-30 13:33:44.0
is first domain of partialOrderingOn2001-11-30 13:33:44.0
is first domain of RangeFn2001-11-30 13:33:44.0
is first domain of reflexiveOn2001-11-30 13:33:44.0
is first domain of totalOrderingOn2001-11-30 13:33:44.0
is first domain of trichotomizingOn2001-11-30 13:33:44.0
is second domain of inverse2001-11-30 13:33:44.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0

Next EquivalenceRelationalong    UpEquivalenceRelation    Previous EquivalenceRelationrelatedInternalConcept