SUMO   View all facts   Glossary   Help
Entity > Abstract > Attribute > DirectionAttribute > Horizontal
Next DirectionAttribute: North    Up: DirectionAttribute    Previous DirectionAttribute: East   

Horizontal
subjectfact 
Horizontaldocumentation Attribute used to indicate that an Object is positioned width-wise with respect to another Object2001-11-30 13:34:26.0
has contraryProperty Vertical2001-11-30 13:34:26.0
is an instance of DirectionAttribute2001-11-30 13:34:26.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