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

North
subjectfact 
Northdocumentation The compass direction of North2001-11-30 13:34:49.0
is an instance of DirectionAttribute2001-11-30 13:34:49.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