SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > DirectionAttribute > Vertical
Next DirectionAttribute: West    Up: DirectionAttribute    Previous DirectionAttribute: South   

Vertical
subjectfact 
Verticaldocumentation Attribute used to indicate that an Object is positioned height-wise with respect to another Object2001-11-30 13:35:32.0
is an instance of DirectionAttribute2001-11-30 13:35:32.0
DirectionAttributehas 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))))))))
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
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