SUMO   View all facts   Glossary   Help

Entity > Physical > Object > SelfConnectedObject > CorpuscularObject > Artifact > Device

Device
subject			fact

Device	documentation A Device is an Artifact whose purpose is to serve as an instrument in a specific type of task
	has axiom (=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE))))
	has axiom (=> (instance ?DEVICE Device) (exists (?PROC) (and (instance ?PROC Process) (instrument ?PROC ?DEVICE))))
	has axiom (=> (instance ?ELEMENT EngineeringElement) (exists (?DEVICE) (and (instance ?DEVICE Device) (part ?ELEMENT ?DEVICE))))
	is a kind of Artifact
Artifact	is first domain of version
	is second domain of version
CorpuscularObject	is disjoint from Substance
Object	is third domain of between
	is third domain of capability
	is third domain of connects

Kinds of Device :

• Machine (2 facts) - Machines are Devices which are self-powered, i.e. their energy does not come from the exercion of Humans or Animals
• TransportationDevice (3 facts) - A TransportationDevice is a Device which serves as an instrument in Transportation Processes