SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > orientation |
orientation | ||||
subject | fact |
orientation | documentation A 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 | |
has domain1 Object | ||
has domain2 Object | ||
has domain3 DirectionAttribute | ||
is an instance of SpatialRelation | ||
is an instance of TernaryPredicate | ||
SpatialRelation | has axiom (=> | |
TernaryPredicate | has axiom (=> | |
Relation | is first domain of domain | |
is first domain of domainSubclass | ||
is first domain of holds | ||
is first domain of subrelation | ||
is first domain of valence | ||
is second domain of subrelation | ||
Predicate | is first domain of singleValued | |
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next SpatialRelation: part Up: SpatialRelation, TernaryPredicate Previous SpatialRelation: MereologicalSumFn