DirectionChange | The act of changing the direction in which the patient of the act is oriented | Motion | (=> (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))))))))
|