Device - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Device ChineseLanguage "Device 是一件 Artifact，它出现目的为了服务一件 Process 一个特定子类别的 instrument。")	chinese_format.kif 3618-3619
(documentation Device EnglishLanguage "A Device is an Artifact whose purpose is to serve as an instrument in a specific subclass of Process.")	Merge.kif 15962-15963
(subclass Device Artifact)	Merge.kif 15961-15961	Device is a subclass of artifact

appearance as argument number 2

(subclass Aerator Device)	Mid-level-ontology.kif 1882-1882	Aerator is a subclass of device
(subclass AnimalController Device)	Mid-level-ontology.kif 2734-2734	Animal controller is a subclass of device
(subclass AnimalPoweredDevice Device)	Mid-level-ontology.kif 2762-2762	Animal powered device is a subclass of device
(subclass AttachingDevice Device)	Merge.kif 16034-16034	Attaching device is a subclass of device
(subclass AudioRecorder Device)	Mid-level-ontology.kif 26233-26233	Audio recorder is a subclass of device
(subclass AutomobileMuffler Device)	Cars.kif 2619-2619	Muffler is a subclass of device
(subclass Axle Device)	Mid-level-ontology.kif 3535-3535	Axle is a subclass of device
(subclass BallBearing Device)	Cars.kif 1404-1404	Ball bearing is a subclass of device
(subclass Barricade Device)	MilitaryDevices.kif 2015-2015	Barricade is a subclass of device
(subclass Baton Device)	Mid-level-ontology.kif 2850-2850	Baton is a subclass of device
(subclass Brake Device)	Cars.kif 538-538	Brake is a subclass of device
(subclass BrakeCaliper Device)	Cars.kif 672-672	Brake caliper is a subclass of device
(subclass BrakeDrum Device)	Cars.kif 666-666	Brake drum is a subclass of device
(subclass BrakePedal Device)	Cars.kif 677-677	Brake pedal is a subclass of device
(subclass BrakeRotor Device)	Cars.kif 660-660	Brake rotor is a subclass of device
(subclass BrushOrComb Device)	Mid-level-ontology.kif 1920-1920	Brush or comb is a subclass of device
(subclass Cam Device)	Cars.kif 1640-1640	Cam is a subclass of device
(subclass Camera Device)	Mid-level-ontology.kif 13312-13312	Camera is a subclass of device
(subclass CanalLockGate Device)	Transportation.kif 3072-3072	Canal lock gate is a subclass of device
(subclass Carabiner Device)	Mid-level-ontology.kif 30773-30773	Karabiner is a subclass of device
(subclass Chimney Device)	Mid-level-ontology.kif 15033-15033	Chimney is a subclass of device
(subclass CleaningDevice Device)	Mid-level-ontology.kif 5587-5587	Cleaning device is a subclass of device
(subclass Clutch Device)	Cars.kif 1814-1814	Clutch is a subclass of device
(subclass CombustionChamber Device)	Cars.kif 1701-1701	Combustion chamber is a subclass of device
(subclass Compass Device)	Mid-level-ontology.kif 2260-2260	Compass is a subclass of device

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain OperatingFn 1 Device)	Mid-level-ontology.kif 17883-17883	The number 1 argument of operating is an instance of device
(domain effectiveRange 1 Device)	Mid-level-ontology.kif 1387-1387	The number 1 argument of effective range is an instance of device
(domain maxDeviceOperatingTemp 1 Device)	ComputingBrands.kif 3620-3620	The number 1 argument of maximum device operating temperature is an instance of device
(domain maxDeviceStorageTemp 1 Device)	ComputingBrands.kif 3648-3648	The number 1 argument of maximum device storage temperature is an instance of device
(domain minDeviceOperatingTemp 1 Device)	ComputingBrands.kif 3673-3673	The number 1 argument of minimum device operating temperature is an instance of device
(domain minDeviceStorageTemp 1 Device)	ComputingBrands.kif 3698-3698	The number 1 argument of minimum device storage temperature is an instance of device
(domain powerComponent 1 Device)	Mid-level-ontology.kif 1734-1734	The number 1 argument of power component is an instance of device
(domainSubclass PlayingInstrumentFn 1 Device)	Music.kif 827-827	The number 1 argument of playing instrument fn is a subclass of device
(domainSubclass equipmentCount 2 Device)	Mid-level-ontology.kif 24309-24309	The number 2 argument of equipment count is a subclass of device
(domainSubclass equipmentType 2 Device)	Mid-level-ontology.kif 24324-24324	The number 2 argument of equipment type is a subclass of device

antecedent

(=> (and (instance ?AP InternetAccessPoint) (instance ?DEVICE Device)) (holdsDuring (WhenFn (connectedEngineeringComponents ?DEVICE ?AP)) (engineeringSubcomponent ?DEVICE Internet)))	Hotel.kif 1365-1371	If an entity is an instance of internet access point and another entity is an instance of device, then the other entity is a component of internet holds during the time of existence of the other entity is connected to the entity
(=> (and (instance ?DAM Damaging) (instance ?OBJ Device) (patient ?DAM ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DAM)) (attribute ?OBJ DeviceDamaged)))	Mid-level-ontology.kif 30067-30075	If a process is an instance of damaging and an entity is an instance of device and the entity is a patient of the process, then device damaged is an attribute of the entity holds during immediately after the time of existence of the process
(=> (and (powerComponent ?G ?O) (instance ?O Device)) (instance ?O SelfPoweredDevice))	Mid-level-ontology.kif 1742-1746	If an artifact is a power component of a device and the artifact is an instance of device, then the artifact is an instance of self powered device
(=> (instance ?DEVICE Device) (exists (?PROC) (capability ?PROC instrument ?DEVICE)))	Merge.kif 15965-15968	If an object is an instance of device, then there exists a kind of process such that the object is capable of doing a kind of process as a instrument
(=> (instance ?DEVICE Device) (exists (?PROC) (hasPurpose ?DEVICE (exists (?INST) (and (instance ?INST ?PROC) (instrument ?INST ?DEVICE))))))	Merge.kif 15970-15977	If a physical is an instance of device, then there exists an entity such that the physical has the purpose there exists another entity such that the other entity is an instance of the entity and the physical is an instrument for the other entity

consequent

(=> (and (attribute ?DEVICE ?ATTRIBUTE) (instance ?ATTRIBUTE DeviceAttribute)) (instance ?DEVICE Device))	Mid-level-ontology.kif 1833-1837	If an attribute is an attribute of an object and the attribute is an instance of device attribute, then the object is an instance of device
(=> (and (instance ?EG EngineGovernor) (instance ?E Engine) (connectedEngineeringComponents ?EG ?E) (governorSpeed ?E (MeasureFn ?S MilesPerHour))) (hasPurpose ?EG (not (exists (?R ?P ?M) (and (instance ?P Device) (part ?P ?E) (instance ?R Rotating) (holdsDuring (WhenFn ?R) (and (measure ?P (MeasureFn ?M MilesPerHour)) (greaterThan ?M ?S))))))))	Cars.kif 2936-2954	If an engineering component is an instance of governor and another engineering component is an instance of engine and the engineering component is connected to the other engineering component and the maximum speed allowed by the other engineering component is a real number miles per hour(s), then the engineering component has the purpose there don't exist an entity, another entity and a third entity such that the other entity is an instance of device and the other entity is a part of the other engineering component and the entity is an instance of rotating and the measure of the other entity is the third entity miles per hour(s) and the third entity is greater than the real number holds during the time of existence of the entity
(=> (and (instance ?INSTALL Installing) (patient ?INSTALL ?DEVICE)) (instance ?DEVICE Device))	Mid-level-ontology.kif 17890-17894	If a process is an instance of installing and an entity is a patient of the process, then the entity is an instance of device
(=> (and (instance ?P TurningOffDevice) (patient ?P ?D)) (instance ?D Device))	Mid-level-ontology.kif 1083-1087	If a process is an instance of turning off device and an entity is a patient of the process, then the entity is an instance of device
(=> (and (instance ?P TurningOnDevice) (patient ?P ?D)) (instance ?D Device))	Mid-level-ontology.kif 1107-1111	If a process is an instance of turning on device and an entity is a patient of the process, then the entity is an instance of device
(=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE))))	Merge.kif 16088-16093	If a corpuscular object is an instance of engineering component, then there exists another corpuscular object such that the other corpuscular object is an instance of device and the corpuscular object is a component of the other corpuscular object
(=> (instance ?DEVICE SelfPoweredDevice) (exists (?SOURCE) (and (instance ?SOURCE Device) (powerComponent ?SOURCE ?DEVICE))))	Mid-level-ontology.kif 2755-2760	If an artifact is an instance of self powered device, then there exists a device such that the device is an instance of device and the artifact is a power component of the device
(=> (instance ?M SurfaceWindSpeedMeasuring) (exists (?PLACE ?TOOL) (and (instance ?PLACE GeographicArea) (instance ?TOOL Device) (eventLocated ?M ?PLACE) (instrument ?M ?TOOL) (holdsDuring (WhenFn ?M) (elevation ?TOOL (MeasureFn 10.0 Meter))))))	Weather.kif 1728-1738	If a process is an instance of surface wind speed measuring, then there exist an object and another object such that the object is an instance of geographic area and the other object is an instance of device and the process is located at the object and the other object is an instrument for the process and 10.0 meter(s) is an elevation of the other object holds during the time of existence of the process
(=> (instance ?S RecordingStudio) (exists (?D) (and (instance ?D Device) (hasPurpose ?D (exists (?R ?P) (and (instance ?R Recording) (instrument ?P ?D) (result ?P ?R)))) (located ?D ?S))))	Music.kif 36-47	If an object is an instance of recording studio, then there exists a physical such that the physical is an instance of device and the physical has the purpose there exist an entity and another entity such that the entity is an instance of recording and the physical is an instrument for the other entity and the entity is a result of the other entity and the physical is located at the object
(=> (instance ?SCUBA ScubaDiving) (exists (?WATER ?DEVICE ?BREATH) (and (instance ?WATER WaterArea) (orientation ?SCUBA ?WATER Below) (instance ?DEVICE Device) (instance ?BREATH Breathing) (instrument ?BREATH ?DEVICE) (subProcess ?BREATH ?SCUBA))))	Mid-level-ontology.kif 26890-26899	If an object is an instance of scuba diving, then there exist another object, a third object and a process such that the other object is an instance of water area and the object is below to the other object and the third object is an instance of device and the process is an instance of breathing and the third object is an instrument for the process and the process is a subprocess of the object
(=> (instance ?X BabyMonitoringSystem) (exists (?TX ?RX) (and (instance ?RX RadioReceiver) (instance ?TX Device) (engineeringSubcomponent ?RX ?X) (engineeringSubcomponent ?TX ?X) (hasPurpose ?X (exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO) (and (instance ?BABY HumanBaby) (instance ?CARER Human) (located ?BABY ?LOC1) (located ?CARER ?LOC2) (not (equal ?LOC1 ?LOC2)) (instance ?PROC Maintaining) (patient ?PROC ?BABY) (agent ?PROC ?CARER) (located ?TX ?LOC1) (located ?RX ?LOC2) (instance ?SOUND RadiatingSound) (eventLocated ?SOUND ?LOC1) (instance ?RADIO RadioEmission) (patient ?RADIO ?SOUND) (destination ?RADIO ?RX) (agent ?RADIO ?TX)))))))	Communications.kif 258-284	If an engineering component is an instance of baby monitor, then there exist another engineering component and a third engineering component such that the third engineering component is an instance of radio receiver and the other engineering component is an instance of device and the third engineering component is a component of the engineering component and the other engineering component is a component of the engineering component and the engineering component has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity and a seventh entity such that the entity is an instance of human baby and the other entity is an instance of human and the entity is located at the fourth entity and the other entity is located at the fifth entity and the fourth entity is not equal to the fifth entity and the sixth entity is an instance of maintaining and the entity is a patient of the sixth entity and the other entity is an agent of the sixth entity and the other engineering component is located at the fourth entity and the third engineering component is located at the fifth entity and the third entity is an instance of radiating sound and the third entity is located at the fourth entity and the seventh entity is an instance of radio emission and the third entity is a patient of the seventh entity and the seventh entity ends up at the third engineering component and the other engineering component is an agent of the seventh entity
(=> (instance ?X RemoteControl) (hasPurpose ?X (exists (?SIGNAL ?DEVICE) (and (instance ?SIGNAL ElectronicSignalling) (agent ?SIGNAL ?X) (destination ?SIGNAL ?DEVICE) (instance ?DEVICE Device) (not (part ?X ?DEVICE))))))	engineering.kif 1121-1131	If a physical is an instance of remote control, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of electronic signalling and the physical is an agent of the entity and the entity ends up at the other entity and the other entity is an instance of device and the physical is not a part of the other entity

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: