SUMO   View all facts   Glossary   Help
Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > Artifact > Device
Next ArtifactEngineeringElement    UpArtifact    Previous ArtifactStationaryArtifact   

Device
subjectfact 
Devicedocumentation A Device is an Artifact whose purpose is to serve as an instrument in a specific type of task2001-11-30 13:34:03.0
has 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
is a kind of Artifact2001-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

Kinds of Device :