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

West
subjectfact 
Westdocumentation The compass direction of West2001-11-30 13:35:34.0
is an instance of DirectionAttribute2001-11-30 13:35:34.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