ElectricDevice - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3012-3013
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1096-1096
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3011-3011	子類電器 and Device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4542-4542	不相交的 UnpoweredDevice and 電器
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 628-628	子類 Accelerometer and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27633-27633	子類 AirConditioner and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3047-3047	子類電池 and 電器
No TPTP formula. May not be expressible in strict first order.	engineering.kif 534-534	子類電容器元件 and 電器
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2394-2394	子類充電器 and 電器
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 25-25	子類電腦 and 電器
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3559-3559	子類 DevicePowerSupply and 電器
No TPTP formula. May not be expressible in strict first order.	Food.kif 374-374	子類 ElectricCoffeeMaker and 電器
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5137-5137	子類 ElectricLightFixture and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2249-2249	子類電動馬達 and 電器
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 485-485	子類 ElectricSpeakerDevice and 電器
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1297-1297	子類電路 and 電器
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1293-1293	子類電氣元件 and 電器
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1109-1109	子類電動機 and 電器
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2342-2342	子類電氣化鐵路車 and 電器
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3948-3948	子類 Electromagnet and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26845-26845	子類 FabricIron and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3464-3464	子類傳真機 and 電器
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4444-4444	子類 FitbitDevice and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27050-27050	子類 HairDryer and 電器
No TPTP formula. May not be expressible in strict first order.	engineering.kif 551-551	子類電感元件 and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2266-2266	子類麥克風 and 電器
No TPTP formula. May not be expressible in strict first order.	Food.kif 350-350	子類 Microwave and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27937-27937	子類 Photocopier and 電器

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3015-3023	例 Object and 電器例 Process and Process 儀器 Process and Object Object 例 Object and 電力資源 Process and Object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 490-494	例 Entity and SpeakerDevice 例 Entity and 電器例 Entity and ElectricSpeakerDevice
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27592-27605	例 EngineeringComponent and ElectricalPlug 例 EngineeringComponent and 電器例 HoleRegion and ElectricalOutlet 連接的工程組件 EngineeringComponent and EngineeringComponent 完全填滿 EngineeringComponent and HoleRegion 例 EngineeringComponent and 能量源連接的工程組件 EngineeringComponent and HoleRegion Process 例 Process and 輻射電磁起源 Process and EngineeringComponent 目的地 Process and EngineeringComponent

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 690-700	例 Process and 數據保存資源 Process and Object 例 Object and ElectronicDataStorageDevice Object 例 Object and 電器儀器 Process and Object 持有期間何時 Process and 連接的 Object and Object
No TPTP formula. May not be expressible in strict first order.	naics.kif 7186-7198	例 Collection and Organization attribute Collection and 電子和電器商店 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity 例 AutonomousAgent and Selling 例 Entity and 電器患者 AutonomousAgent and Entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 559-569	AcousticMusic 是在 genre ContentBearingObject ContentBearingObject 是個 Process 的 record Object Object 例 Object and MusicalInstrument 儀器 Process and Object 例 Object and 電器部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1452-1464	例 Object and TemperatureControl Object entity 例 Object and 電器部分 Object and Object 有目的 Object and entity entity 例 entity and Region 例 entity and Process 儀器 entity and Object 結果 entity and entity 是 entity 的 air 溫度
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2257-2264	例 Object and 開關設備 Process Process and Object 儀器 Process and Object 原因 Process and Process 儀器 Process and Object 例 Object and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3109-3114	例 Process and 電信號 Object 例 Object and 電器儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3121-3126	例 Process and 電子信號 Object 例 Object and 電器儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Music.kif 689-695	ElectronicMusic 是在 genre ContentBearingObject Object Process 例 Object and 電器 ContentBearingObject 是個 Process 的 record 儀器 Process and Object

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: