SUMO   View all facts   Glossary   Help

Entity > Abstract > Attribute > DirectionAttribute

DirectionAttribute
subject			fact

DirectionAttribute	documentation Attributes characterizing the orientation of an Object, e.g. Vertical versus Horizontal, the compass directions, etc
	has axiom (=> (instance ?PROC DirectionChange) (exists (?ATTR) (and (instance ?ATTR DirectionAttribute) (or (and (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR)))) (and (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR)) (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR))))))))
	is second domain of direction
	is third domain of orientation
	is a kind of Attribute
Attribute	is disjoint from Quantity
	is first domain of contraryProperty
	is first domain of ExtensionFn
	is first domain of subAttribute
	is first domain of successorAttribute
	is first domain of successorAttributeClosure

Kinds of DirectionAttribute :

• East (2 facts) - The compass direction of East
• Horizontal (3 facts) - Attribute used to indicate that an Object is positioned width-wise with respect to another Object
• North (2 facts) - The compass direction of North
• South (2 facts) - The compass direction of South
• Vertical (2 facts) - Attribute used to indicate that an Object is positioned height-wise with respect to another Object
• West (2 facts) - The compass direction of West