SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > orientation
Next SpatialRelationpart    UpSpatialRelation, TernaryPredicate    Previous SpatialRelationMereologicalSumFn   

orientation comparison table
Subject have domain3 have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
SpatialRelation   valenceThe Class of Relations that are spatial in a wide sense. This Class includes mereological relations, topological relations, and positional relations
(=>
(and
(instance ?REL SpatialRelation)
(holds ?REL ?OBJ1 ?OBJ2))
(overlapsTemporally (WhenFn ?OBJ1) (WhenFn ?OBJ2)))
Relation 
TernaryPredicate   singleValuedThe Class of Predicates that require exactly three arguments
(=>
(instance ?REL TernaryPredicate)
(valence ?REL 3))
TernaryRelation 
orientationDirectionAttributeObjectObjectsingleValuedA general Predicate for indicating how two Objects are oriented with respect to one another. For example, (orientation ?OBJ1 ?OBJ2 North) means that ?OBJ1 is north of ?OBJ2, and (orientation ?OBJ1 ?OBJ2 Vertical) means that ?OBJ1 is positioned vertically with respect to ?OBJ2
(=>
(instance ?REL TernaryPredicate)
(valence ?REL 3))
 TernaryPredicate

Next SpatialRelationpart    UpSpatialRelation, TernaryPredicate    Previous SpatialRelationMereologicalSumFn