SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > Artifact > Device
Next Artifact: EngineeringElement    Up: Artifact    Previous Artifact: StationaryArtifact   

Device comparison table
Subject documentation have axiom
MachineMachines are Devices which are self-powered, i.e. their energy does not come from the exercion of Humans or Animals
(=>
    (instance ?ELEMENT EngineeringElement)
    (exists (?DEVICE)
       (and
          (instance ?DEVICE Device)
          (part ?ELEMENT ?DEVICE))))
TransportationDeviceA TransportationDevice is a Device which serves as an instrument in Transportation Processes
(=>
    (instance ?TRANS Transportation)
    (exists (?DEVICE)
          (and
             (instance ?DEVICE TransportationDevice)
             (instrument ?TRANS ?DEVICE))))

Next Artifact: EngineeringElement    Up: Artifact    Previous Artifact: StationaryArtifact