SUMO   View all facts   Glossary   Help
Entity > Physical > Process > Motion
Next Process: NonintentionalProcess    Up: Process    Previous Process: IntentionalProcess   

Motion comparison table
Subject have relatedInternalConcept documentation have axiom
BodyMotion Any Motion where the patient is a BodyPart
(=>
    (instance ?MOTION BodyMotion)
    (exists (?OBJ)
       (and
          (instance ?OBJ BodyPart)
          (patient ?MOTION ?OBJ))))
DirectionChange The act of changing the direction in which the patient of the act is oriented
(=>
    (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))))))))
Transfer Any instance of Motion where the agent of the Motion and the patient of the Motion are not the same thing
(=>
    (and
       (instance ?TRANSFER Transfer)
       (agent ?TRANSFER ?AGENT)
       (patient ?TRANSFER ?PATIENT))
    (not
       (equal ?AGENT ?PATIENT)))
TransportationTransportationDeviceMotion from one point to another by means of a TransportationDevice
(=>
    (instance ?TRANS Transportation)
    (exists (?DEVICE)
          (and
             (instance ?DEVICE TransportationDevice)
             (instrument ?TRANS ?DEVICE))))

Next Process: NonintentionalProcess    Up: Process    Previous Process: IntentionalProcess