TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2543-2544
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 2542-2542	子類電器 and Device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4489-4489	不相交的 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 25976-25976	子類 AirConditioner and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2578-2578	子類電池 and 電器
No TPTP formula. May not be expressible in strict first order.	engineering.kif 535-535	子類電容器元件 and 電器
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2416-2416	子類充電器 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 5084-5084	子類 ElectricLightFixture and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1780-1780	子類電動馬達 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 984-984	子類電路 and 電器
No TPTP formula. May not be expressible in strict first order.	engineering.kif 980-980	子類電氣元件 and 電器
No TPTP formula. May not be expressible in strict first order.	engineering.kif 796-796	子類電動機 and 電器
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2167-2167	子類電氣化鐵路車 and 電器
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3895-3895	子類 Electromagnet and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25175-25175	子類 FabricIron and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2995-2995	子類傳真機 and 電器
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4459-4459	子類 FitbitDevice and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25380-25380	子類 HairDryer and 電器
No TPTP formula. May not be expressible in strict first order.	engineering.kif 552-552	子類電感元件 and 電器
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1797-1797	子類麥克風 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 26280-26280	子類 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 2546-2554	例 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 25935-25948	例 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 1139-1151	例 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 1788-1795	例 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 2640-2645	例 Process and 電信號 Object 例 Object and 電器儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2652-2657	例 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 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: