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

DirectionChange
subjectfact 
DirectionChangedocumentation The act of changing the direction in which the patient of the act is oriented2001-11-30 13:34:03.0
has 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 a kind of Motion2001-11-30 13:34:03.0
Motionis first domain of path2001-11-30 13:34:46.0
Processis second domain of causes2001-11-30 13:35:04.0
is second domain of inhibits2001-11-30 13:35:04.0
is second domain of precondition2001-11-30 13:35:04.0
is second domain of prevents2001-11-30 13:35:04.0
is second domain of subProcess2001-11-30 13:35:04.0