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

TransportationDevice
subjectfact 
TransportationDevicedocumentation A TransportationDevice is a Device which serves as an instrument in Transportation Processes2001-11-30 13:35:29.0
has axiom 
(=>
    (instance ?TRANS Transportation)
    (exists (?DEVICE)
          (and
             (instance ?DEVICE TransportationDevice)
             (instrument ?TRANS ?DEVICE))))
2001-11-30 13:35:29.0
is a kind of Device2001-11-30 13:35:29.0
Artifactis first domain of version2001-11-30 13:33:38.0
is second domain of version2001-11-30 13:33:38.0
CorpuscularObjectis disjoint from Substance2001-11-30 13:33:58.0
Objectis third domain of between2001-11-30 13:34:51.0
is third domain of capability2001-11-30 13:34:51.0
is third domain of connects2001-11-30 13:34:51.0