SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > DirectionAttribute
Next AttributeNormativeProperty    UpAttribute    Previous AttributeCompetitionProperty   

DirectionAttributedocumentation Attributes characterizing the orientation of an Object, e.g. Vertical versus Horizontal, the compass directions, etc2001-11-30 13:34:03.0
has axiom
(instance ?PROC DirectionChange)
(exists (?ATTR)
(instance ?ATTR DirectionAttribute)
(holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR))
(holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR))))
(holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (attribute ?PROC ?ATTR))
(holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (not (attribute ?PROC ?ATTR))))))))
2001-11-30 13:34:03.0
is second domain of direction2001-11-30 13:34:03.0
is third domain of orientation2001-11-30 13:34:03.0
is a kind of Attribute2001-11-30 13:34:03.0
Attributeis disjoint from Quantity2001-11-30 13:33:40.0
is first domain of contraryProperty2001-11-30 13:33:40.0
is first domain of ExtensionFn2001-11-30 13:33:40.0
is first domain of subAttribute2001-11-30 13:33:40.0
is first domain of successorAttribute2001-11-30 13:33:40.0
is first domain of successorAttributeClosure2001-11-30 13:33:40.0

Kinds of DirectionAttribute :