SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > Artifact > Device > TransportationDevice
Next Device: Machine    Up: Device

TransportationDevice comparison table
Subject documentation is a kind of have axiom
DeviceA Device is an Artifact whose purpose is to serve as an instrument in a specific type of taskArtifact
(=>
    (instance ?ELEMENT EngineeringElement)
    (exists (?DEVICE)
       (and
          (instance ?DEVICE Device)
          (part ?ELEMENT ?DEVICE))))
TransportationDeviceA TransportationDevice is a Device which serves as an instrument in Transportation ProcessesDevice
(=>
    (instance ?TRANS Transportation)
    (exists (?DEVICE)
          (and
             (instance ?DEVICE TransportationDevice)
             (instrument ?TRANS ?DEVICE))))

Next Device: Machine    Up: Device