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 15940-15941
(subclass Device Artifact)	Merge.kif 15939-15939	子類 Device and Artifact

appearance as argument number 2

(subclass Aerator Device)	Mid-level-ontology.kif 1882-1882	子類增氧機 and Device
(subclass AnimalController Device)	Mid-level-ontology.kif 2734-2734	子類動物控制器 and Device
(subclass AnimalPoweredDevice Device)	Mid-level-ontology.kif 2762-2762	子類動物動力裝置 and Device
(subclass AttachingDevice Device)	Merge.kif 16012-16012	子類附著裝置 and Device
(subclass AudioRecorder Device)	Mid-level-ontology.kif 26245-26245	子類 AudioRecorder and Device
(subclass AutomobileMuffler Device)	Cars.kif 2613-2613	子類 AutomobileMuffler and Device
(subclass Axle Device)	Mid-level-ontology.kif 3535-3535	子類軸 and Device
(subclass BallBearing Device)	Cars.kif 1404-1404	子類 BallBearing and Device
(subclass Barricade Device)	MilitaryDevices.kif 2015-2015	子類壅 and Device
(subclass Baton Device)	Mid-level-ontology.kif 2850-2850	子類指揮棒 and Device
(subclass Brake Device)	Cars.kif 538-538	子類 Brake and Device
(subclass BrakeCaliper Device)	Cars.kif 672-672	子類 BrakeCaliper and Device
(subclass BrakeDrum Device)	Cars.kif 666-666	子類 BrakeDrum and Device
(subclass BrakePedal Device)	Cars.kif 677-677	子類 BrakePedal and Device
(subclass BrakeRotor Device)	Cars.kif 660-660	子類 BrakeRotor and Device
(subclass BrushOrComb Device)	Mid-level-ontology.kif 1920-1920	子類刷子或梳子 and Device
(subclass Cam Device)	Cars.kif 1634-1634	子類 Cam and Device
(subclass Camera Device)	Mid-level-ontology.kif 13313-13313	子類相機 and Device
(subclass CanalLockGate Device)	Transportation.kif 3072-3072	子類運河閘門 and Device
(subclass Carabiner Device)	Mid-level-ontology.kif 30785-30785	子類 Carabiner and Device
(subclass Chimney Device)	Mid-level-ontology.kif 15034-15034	子類煙囪 and Device
(subclass CleaningDevice Device)	Mid-level-ontology.kif 5588-5588	子類清潔設備 and Device
(subclass Clutch Device)	Cars.kif 1808-1808	子類 Clutch and Device
(subclass CombustionChamber Device)	Cars.kif 1695-1695	子類 CombustionChamber and Device
(subclass Compass Device)	Mid-level-ontology.kif 2260-2260	子類羅盤 and 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 17884-17884	域操作, 1 and Device
(domain effectiveRange 1 Device)	Mid-level-ontology.kif 1387-1387	域有效範圍, 1 and Device
(domain maxDeviceOperatingTemp 1 Device)	ComputingBrands.kif 3620-3620	域 maxDeviceOperatingTemp, 1 and Device
(domain maxDeviceStorageTemp 1 Device)	ComputingBrands.kif 3648-3648	域 maxDeviceStorageTemp, 1 and Device
(domain minDeviceOperatingTemp 1 Device)	ComputingBrands.kif 3673-3673	域 minDeviceOperatingTemp, 1 and Device
(domain minDeviceStorageTemp 1 Device)	ComputingBrands.kif 3698-3698	域 minDeviceStorageTemp, 1 and Device
(domain powerComponent 1 Device)	Mid-level-ontology.kif 1734-1734	域功率元件, 1 and Device
(domainSubclass PlayingInstrumentFn 1 Device)	Music.kif 827-827	域子類 PlayingInstrumentFn, 1 and Device
(domainSubclass equipmentCount 2 Device)	Mid-level-ontology.kif 24310-24310	域子類設備數量, 2 and Device
(domainSubclass equipmentType 2 Device)	Mid-level-ontology.kif 24325-24325	域子類設備類型, 2 and Device

antecedent

(=> (and (instance ?AP InternetAccessPoint) (instance ?DEVICE Device)) (holdsDuring (WhenFn (connectedEngineeringComponents ?DEVICE ?AP)) (engineeringSubcomponent ?DEVICE Internet)))	Hotel.kif 1365-1371	例 Entity and InternetAccessPoint 例 Entity and Device 持有期間何時連接的工程組件 Entity and Entity and 工程子組件 Entity and 互聯網
(=> (and (instance ?DAM Damaging) (instance ?OBJ Device) (patient ?DAM ?OBJ)) (holdsDuring (ImmediateFutureFn (WhenFn ?DAM)) (attribute ?OBJ DeviceDamaged)))	Mid-level-ontology.kif 30079-30087	例 Process and Damaging 例 Entity and Device 患者 Process and Entity 持有期間眼前的未來何時 Process and attribute Entity and DeviceDamaged
(=> (and (powerComponent ?G ?O) (instance ?O Device)) (instance ?O SelfPoweredDevice))	Mid-level-ontology.kif 1742-1746	Artifact 是 Device 的 power 組件例 Artifact and Device 例 Artifact and 自供電設備
(=> (instance ?DEVICE Device) (exists (?PROC) (capability ?PROC instrument ?DEVICE)))	Merge.kif 15943-15946	例 Object and Device Process 能力 Process, 儀器 and Object
(=> (instance ?DEVICE Device) (exists (?PROC) (hasPurpose ?DEVICE (exists (?INST) (and (instance ?INST ?PROC) (instrument ?INST ?DEVICE))))))	Merge.kif 15948-15955	例 Physical and Device entity 有目的 Physical and entity 例 entity and entity 儀器 entity and Physical

consequent

(=> (and (attribute ?DEVICE ?ATTRIBUTE) (instance ?ATTRIBUTE DeviceAttribute)) (instance ?DEVICE Device))	Mid-level-ontology.kif 1833-1837	attribute Object and Attribute 例 Attribute and 設備屬性例 Object and 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 2930-2948	例 EngineeringComponent and EngineGovernor 例 EngineeringComponent and 發動機連接的工程組件 EngineeringComponent and EngineeringComponent governorSpeed EngineeringComponent and 測量 RealNumber and MilesPerHour 有目的 EngineeringComponent and entity entity and entity 例 entity and Device 部分 entity and EngineeringComponent 例 entity and 旋轉持有期間何時 entity and 測量 entity and 測量 entity and MilesPerHour 比較多 entity and RealNumber
(=> (and (instance ?INSTALL Installing) (patient ?INSTALL ?DEVICE)) (instance ?DEVICE Device))	Mid-level-ontology.kif 17891-17895	例 Process and 安裝患者 Process and Entity 例 Entity and Device
(=> (and (instance ?P TurningOffDevice) (patient ?P ?D)) (instance ?D Device))	Mid-level-ontology.kif 1083-1087	例 Process and 關掉設備患者 Process and Entity 例 Entity and Device
(=> (and (instance ?P TurningOnDevice) (patient ?P ?D)) (instance ?D Device))	Mid-level-ontology.kif 1107-1111	例 Process and 打開設備患者 Process and Entity 例 Entity and Device
(=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE))))	Merge.kif 16066-16071	例 CorpuscularObject and EngineeringComponent CorpuscularObject 例 CorpuscularObject and Device 零件 CorpuscularObject and CorpuscularObject
(=> (instance ?DEVICE SelfPoweredDevice) (exists (?SOURCE) (and (instance ?SOURCE Device) (powerComponent ?SOURCE ?DEVICE))))	Mid-level-ontology.kif 2755-2760	例 Artifact and 自供電設備 Device 例 Device and Device Artifact 是 Device 的 power 組件
(=> (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 1732-1742	例 Process and SurfaceWindSpeedMeasuring Object Object 例 Object and GeographicArea 例 Object and Device Process 是 located 在 Object 儀器 Process and Object 持有期間何時 Process and 測量 10.0 and 儀表是 Object 的 elevation
(=> (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	例 Object and RecordingStudio Physical 例 Physical and Device 有目的 Physical and entity entity 例 entity and Recording 儀器 entity and Physical 結果 entity and entity 位於 Physical and 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 26902-26911	例 Object and ScubaDiving Object Object and Process 例 Object and WaterArea 方位 Object, Object and 下面例 Object and Device 例 Process and Breathing 儀器 Process and Object 子過程 Process and 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	例 EngineeringComponent and BabyMonitoringSystem EngineeringComponent EngineeringComponent 例 EngineeringComponent and 無線電接收器例 EngineeringComponent and Device 工程子組件 EngineeringComponent and EngineeringComponent 工程子組件 EngineeringComponent and EngineeringComponent 有目的 EngineeringComponent and entity entity, entity, entity, entity, entity and entity 例 entity and 人類寶貝例 entity and Human 位於 entity and entity 位於 entity and entity 等於 entity and entity 例 entity and Maintaining 患者 entity and entity agent entity and entity 位於 EngineeringComponent and entity 位於 EngineeringComponent and entity 例 entity and RadiatingSound entity 是 located 在 entity 例 entity and 無線電發射患者 entity and entity 目的地 entity and EngineeringComponent agent entity and EngineeringComponent
(=> (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	例 Physical and RemoteControl 有目的 Physical and entity entity 例 entity and 電子信號 agent entity and Physical 目的地 entity and entity 例 entity and Device 部分 Physical and 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: