Device - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3618-3619
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15940-15941
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15939-15939	子類 Device and Artifact

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1882-1882	子類增氧機 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2734-2734	子類動物控制器 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2762-2762	子類動物動力裝置 and Device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16012-16012	子類附著裝置 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26245-26245	子類 AudioRecorder and Device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2613-2613	子類 AutomobileMuffler and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3535-3535	子類軸 and Device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1404-1404	子類 BallBearing and Device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2015-2015	子類壅 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2850-2850	子類指揮棒 and Device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 538-538	子類 Brake and Device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 672-672	子類 BrakeCaliper and Device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 666-666	子類 BrakeDrum and Device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 677-677	子類 BrakePedal and Device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 660-660	子類 BrakeRotor and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1920-1920	子類刷子或梳子 and Device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1634-1634	子類 Cam and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13313-13313	子類相機 and Device
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3072-3072	子類運河閘門 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30785-30785	子類 Carabiner and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15034-15034	子類煙囪 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5588-5588	子類清潔設備 and Device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1808-1808	子類 Clutch and Device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1695-1695	子類 CombustionChamber and Device
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17884-17884	域操作, 1 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1387-1387	域有效範圍, 1 and Device
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3620-3620	域 maxDeviceOperatingTemp, 1 and Device
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3648-3648	域 maxDeviceStorageTemp, 1 and Device
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3673-3673	域 minDeviceOperatingTemp, 1 and Device
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3698-3698	域 minDeviceStorageTemp, 1 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1734-1734	域功率元件, 1 and Device
No TPTP formula. May not be expressible in strict first order.	Music.kif 827-827	域子類 PlayingInstrumentFn, 1 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24310-24310	域子類設備數量, 2 and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24325-24325	域子類設備類型, 2 and Device

antecedent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1365-1371	例 Entity and InternetAccessPoint 例 Entity and Device 持有期間何時連接的工程組件 Entity and Entity and 工程子組件 Entity and 互聯網
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30079-30087	例 Process and Damaging 例 Entity and Device 患者 Process and Entity 持有期間眼前的未來何時 Process and attribute Entity and DeviceDamaged
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1742-1746	Artifact 是 Device 的 power 組件例 Artifact and Device 例 Artifact and 自供電設備
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15943-15946	例 Object and Device Process 能力 Process, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15948-15955	例 Physical and Device entity 有目的 Physical and entity 例 entity and entity 儀器 entity and Physical

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1833-1837	attribute Object and Attribute 例 Attribute and 設備屬性例 Object and Device
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17891-17895	例 Process and 安裝患者 Process and Entity 例 Entity and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1083-1087	例 Process and 關掉設備患者 Process and Entity 例 Entity and Device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1107-1111	例 Process and 打開設備患者 Process and Entity 例 Entity and Device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16066-16071	例 CorpuscularObject and EngineeringComponent CorpuscularObject 例 CorpuscularObject and Device 零件 CorpuscularObject and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2755-2760	例 Artifact and 自供電設備 Device 例 Device and Device Artifact 是 Device 的 power 組件
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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: