TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17564-17564	相反的屬性固體, 液體, 加油站 and 等離子體
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3924-3925
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17574-17575
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17573-17573	例固體 and PhysicalState

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17565-17565	固體是所有的 PhysicalState 的 attributes
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31553-31553	roomTempState abrin毒素 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31535-31535	roomTempState 錒 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31557-31557	roomTempState 礬土 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31459-31459	roomTempState 鋁 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31541-31541	roomTempState 銤 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31559-31559	roomTempState Amphetamine and 固體
No TPTP formula. May not be expressible in strict first order.	Food.kif 2872-2872	roomTempState AnimalFat and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31497-31497	roomTempState 銻 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31479-31479	roomTempState 砷 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31560-31560	roomTempState 石棉 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31531-31531	roomTempState 砹 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31563-31563	roomTempState 重晶石 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31502-31502	roomTempState 鋇 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31564-31564	roomTempState batrachotoxin and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31565-31565	roomTempState 礬土 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31543-31543	roomTempState 锫 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31449-31449	roomTempState 鈹 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31529-31529	roomTempState 鉍 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31566-31566	roomTempState 肉毒桿菌毒素 and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31412-31412	roomTempState Boulder and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31396-31396	roomTempState 褐煤 and 固體
No TPTP formula. May not be expressible in strict first order.	Food.kif 3098-3098	roomTempState 奶油 and 固體
No TPTP formula. May not be expressible in strict first order.	Food.kif 2931-2931	roomTempState ButterFat and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31494-31494	roomTempState 鎘 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.	Geography.kif 7545-7554	例 Object and 膠體部分 Object and Object attribute Object and 固體 attribute Object and 液體例 Object and 空氣部分 Object and Object 例 Object and Aerosal
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7142-7162	例 Object and Crystal attribute Object and MonoCrystalline 例 SelfConnectedObject and Substance attribute SelfConnectedObject and 固體 attribute SelfConnectedObject and PolyCrystalline 例 SelfConnectedObject and Substance 表面 SelfConnectedObject and SelfConnectedObject 部分 Object and SelfConnectedObject ObjectLNT Integer and Object 例 ObjectLNT and Collection Integer 是 ObjectLNT 的 member 計數大於或等於 Integer and 4 會員 Object and ObjectLNT 部分 Object and SelfConnectedObject 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1379-1389	例 Object and 絕對過濾器例 Process and Removing 起源 Process and Object 例 Object and 混合氣體患者 Process and Object attribute Object and 固體儀器 Process and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1219-1228	例 Object and TapWater 例 Object and Mixture 部分 Object and Object 例 Object and Antifreeze 部分 Object and Object attribute Object and 固體測量 Object and 測量 RealNumber and 攝氏度比較多 32 and RealNumber
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21615-21621	例 Object and 膠體 attribute Object and 固體 attribute Object and 流體等於 Object and Entity 例 Entity and 凝膠

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8978-8982	例 Object and 冰例 Object and Water attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10287-10291	例 Process and Eating 資源 Process and Object attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6997-7014	例 Process and Deposition 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 加油站持有期間結束何時 Process and attribute Object and 固體持有期間何時 Process and attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14022-14030	例 Process and Freezing 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 液體持有期間結束何時 Process and attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2992-2998	例 Entity and Grease 持有期間 TimePosition and 測量 Entity and 測量 77 and 華氏度持有期間 TimePosition and attribute Entity and 固體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13934-13942	例 Process and Melting 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 固體持有期間結束何時 Process and attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	naics.kif 631-648	例 Collection and Organization attribute Collection and 礦業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object Process and AutonomousAgent 例 AutonomousAgent and Removing 患者 AutonomousAgent and Object 例 Object and PureSubstance attribute Object and 固體會員 Process and Collection 例 AutonomousAgent and Selling agent AutonomousAgent and Process 患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1087-1092	例 Process and 凍雨患者 Process and Entity 例 Entity and Water 持有期間眼前的未來何時 Process and attribute Entity and 固體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 7049-7066	例 Process and Sublimation 患者 Process and Object Object 部分 Object and Object 持有期間開始何時 Process and attribute Object and 固體持有期間結束何時 Process and attribute Object and 加油站持有期間何時 Process and attribute Object and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13902-13915	例 Entity and PureSubstance 測量 RealNumber and UnitOfMeasure 是 PureSubstance 的 melting 點持有期間 TimeInterval and 測量 Entity and 測量 RealNumber and UnitOfMeasure 例 UnitOfMeasure and UnitOfTemperature 少於 RealNumber and RealNumber 持有期間 TimeInterval and attribute Entity and 固體 Process 暫時重疊何時 Process and TimeInterval 例 Process and Freezing 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13842-13851	例 Object and PureSubstance 子類 PureSubstance and PureSubstance 測量 RealNumber and 凱文度是 PureSubstance 的 melting 點測量 RealNumber and 英寸汞是 Object 的 barometric 壓力比較多 RealNumber and 29.92 測量 Object and 測量 RealNumber and 凱文度少於 RealNumber and RealNumber attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10523-10525	例 Object and Clot attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10497-10509	例 Physical and Clotting Entity 例 Entity and Blood 持有期間不久的過去何時 Physical and attribute Entity and 液體持有期間眼前的未來何時 Physical and attribute Entity and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4570-4585	例 Physical and 濾盆有目的 Physical and entity entity, entity and entity 例 entity and Mixture 例 entity and Substance 部分 entity and entity attribute entity and 液體例 entity and Removing 患者 entity and entity 例 entity and Substance 部分 entity and entity attribute entity and 固體結果 entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1150-1159	例 Object and Exhaust Object Object and Process 例 Process and Combustion attribute Object and 固體 attribute Object and 加油站部分 Object and Object 部分 Object and Object 結果 Process and Object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 943-958	例 Physical and AirFilter 有目的 Physical and entity entity, entity and entity 例 entity and Removing 部分 entity and entity 例 entity and 空氣例 entity and 空氣 attribute entity and 固體患者 entity and entity 部分 entity and entity 起源 entity and entity 例 entity and Mixture 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2778-2788	例 Process and Frosting Object Object 例 Object and 冰 attribute Object and MonoCrystalline 患者 Process and Object 例 Object and Object attribute Object and 固體目的地 Process and Object 空間的符合 Process and Object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6004-6010	例 Object and 冰川 Object 例 Object and Water attribute Object and 固體部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2510-2520	例 Process and 刨冰 Object Object 例 Object and 冰 attribute Object and PolyCrystalline 患者 Process and Object 例 Object and Object attribute Object and 固體目的地 Process and Object 空間的符合 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9250-9252	例 Object and Pill attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8953-8955	例 Object and 粉末 attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1176-1178	例天氣過程 and 下冰雹固體是天氣過程的 precipitation 狀態
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1133-1135	例天氣過程 and 下雪固體是天氣過程的 precipitation 狀態
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17909-17911	例 Object and 岩石 attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4549-4564	例 Physical and 濾器有目的 Physical and entity PhysicalUB, entity and entity 例 entity and Mixture 例 PhysicalUB and Substance 例 entity and Substance 部分 PhysicalUB and entity attribute PhysicalUB and 固體例 entity and Removing 部分 entity and entity attribute entity and 液體患者 entity and PhysicalUB 結果 entity and entity 儀器 entity and Physical

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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: