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

Machine
subjectfact 
Machinedocumentation Machines are Devices which are self-powered, i.e. their energy does not come from the exercion of Humans or Animals2001-11-30 13:34:38.0
is a kind of Device2001-11-30 13:34:38.0
Devicehas axiom 
(=>
    (instance ?COMP EngineeringComponent)
    (exists (?DEVICE)
       (and
          (instance ?DEVICE Device)
          (component ?COMP ?DEVICE))))
2001-11-30 13:34:03.0
has axiom 
(=>
    (instance ?DEVICE Device)
    (exists (?PROC)
       (and
          (instance ?PROC Process)
          (instrument ?PROC ?DEVICE))))
2001-11-30 13:34:03.0
has axiom 
(=>
    (instance ?ELEMENT EngineeringElement)
    (exists (?DEVICE)
       (and
          (instance ?DEVICE Device)
          (part ?ELEMENT ?DEVICE))))
2001-11-30 13:34:03.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