SUMO   View all facts   Glossary   Help
Entity > Physical > Process > Motion > DirectionChange
Next Motion: Transfer    Up: Motion    Previous Motion: BodyMotion   

DirectionChange comparison table
Subject documentation is a kind of have axiom
MotionAny Process of movementProcess
(=>
    (and
       (instance ?MOTION Motion)
       (patient ?MOTION ?OBJ)
       (destination ?MOTION ?PLACE))
    (holdsDuring (ImmediateFutureFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
DirectionChangeThe act of changing the direction in which the patient of the act is orientedMotion
(=>
    (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))))))))

Next Motion: Transfer    Up: Motion    Previous Motion: BodyMotion