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

Transportation comparison table
Subject have relatedInternalConcept documentation is a kind of have axiom
Motion Any Process of movementProcess
(=>
    (and
       (instance ?MOTION Motion)
       (patient ?MOTION ?OBJ)
       (destination ?MOTION ?PLACE))
    (holdsDuring (ImmediateFutureFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
TransportationTransportationDeviceMotion from one point to another by means of a TransportationDeviceMotion
(=>
    (instance ?TRANS Transportation)
    (exists (?DEVICE)
          (and
             (instance ?DEVICE TransportationDevice)
             (instrument ?TRANS ?DEVICE))))

Next Motion: BodyMotion    Up: Motion    Previous Motion: Transfer