TreeView 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 16012-16013
(subclass Device Artifact)	Merge.kif 16011-16011	子類 Device and Artifact

appearance as argument number 2

(subclass Aerator Device)	Mid-level-ontology.kif 1875-1875	子類增氧機 and Device
(subclass AnimalController Device)	Mid-level-ontology.kif 2727-2727	子類動物控制器 and Device
(subclass AnimalPoweredDevice Device)	Mid-level-ontology.kif 2755-2755	子類動物動力裝置 and Device
(subclass AttachingDevice Device)	Merge.kif 16084-16084	子類附著裝置 and Device
(subclass AudioRecorder Device)	Mid-level-ontology.kif 26278-26278	子類 AudioRecorder and Device
(subclass AutomobileMuffler Device)	Cars.kif 2596-2596	子類 AutomobileMuffler and Device
(subclass Axle Device)	Mid-level-ontology.kif 3528-3528	子類軸 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 2843-2843	子類指揮棒 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 1913-1913	子類刷子或梳子 and Device
(subclass Cam Device)	Cars.kif 1640-1640	子類 Cam and Device
(subclass Camera Device)	Mid-level-ontology.kif 13340-13340	子類相機 and Device
(subclass CanalLockGate Device)	Transportation.kif 3124-3124	子類運河閘門 and Device
(subclass Carabiner Device)	Mid-level-ontology.kif 30809-30809	子類 Carabiner and Device
(subclass Chimney Device)	Mid-level-ontology.kif 15061-15061	子類煙囪 and Device
(subclass CleaningDevice Device)	Mid-level-ontology.kif 5582-5582	子類清潔設備 and Device
(subclass Clutch Device)	Cars.kif 1791-1791	子類 Clutch and Device
(subclass CombustionChamber Device)	Cars.kif 1701-1701	子類 CombustionChamber and Device
(subclass Compass Device)	Mid-level-ontology.kif 2253-2253	子類羅盤 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 17911-17911	域操作, 1 and Device
(domain effectiveRange 1 Device)	Mid-level-ontology.kif 1380-1380	域有效範圍, 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 1727-1727	域功率元件, 1 and Device
(domainSubclass PlayingInstrumentFn 1 Device)	Music.kif 827-827	域子類 PlayingInstrumentFn, 1 and Device
(domainSubclass equipmentCount 2 Device)	Mid-level-ontology.kif 24367-24367	域子類設備數量, 2 and Device
(domainSubclass equipmentType 2 Device)	Mid-level-ontology.kif 24382-24382	域子類設備類型, 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 30103-30111	例 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 1735-1739	Artifact 是 Device 的 power 組件例 Artifact and Device 例 Artifact and 自供電設備
(=> (instance ?DEVICE Device) (exists (?PROC) (capability ?PROC instrument ?DEVICE)))	Merge.kif 16015-16018	例 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 16020-16027	例 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 1826-1830	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 2913-2931	例 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 17918-17922	例 Process and 安裝患者 Process and Entity 例 Entity and Device
(=> (and (instance ?P TurningOffDevice) (patient ?P ?D)) (instance ?D Device))	Mid-level-ontology.kif 1076-1080	例 Process and 關掉設備患者 Process and Entity 例 Entity and Device
(=> (and (instance ?P TurningOnDevice) (patient ?P ?D)) (instance ?D Device))	Mid-level-ontology.kif 1100-1104	例 Process and 打開設備患者 Process and Entity 例 Entity and Device
(=> (instance ?COMP EngineeringComponent) (exists (?DEVICE) (and (instance ?DEVICE Device) (component ?COMP ?DEVICE))))	Merge.kif 16138-16143	例 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 2748-2753	例 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 1715-1725	例 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 26935-26944	例 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: