TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3362-3363
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14308-14309
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 83-83
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5885-5885	mixturePartType Water and SodiumLactate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31671-31671	roomTempState Water and 液體
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14307-14307	子類 Water and CompoundSubstance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2847-2847	子類 BrackishWater and Water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2730-2730	子類淡水 and Water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2743-2743	子類地下水 and Water
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8976-8976	子類冰 and Water
No TPTP formula. May not be expressible in strict first order.	Food.kif 237-237	子類 PurifiedWater and Water
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2963-2963	子類 Rain and Water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2820-2820	子類 SeaWater and Water
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25645-25645	子類 Steam and Water
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 961-961
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1129-1129
No TPTP formula. May not be expressible in strict first order.	french_format.kif 638-638
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 169-169
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 172-172
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2322-2322
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 590-590
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 174-174
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 206-206
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 659-659
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 173-173

antecedent

No TPTP formula. May not be expressible in strict first order.	Weather.kif 1091-1096	例 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 2561-2567	例 Process and Process 患者 Process and Physical 例 Physical and Water 測量 Physical and 測量 RealNumber and 酸鹼度少於 RealNumber and 5.6
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25305-25315	例 Object and HotTub 位於 Physical and Object 例 Physical and Water 模態屬性 entity 例 entity and Heating 儀器 entity and Object 患者 entity and Physical and 可能性
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2907-2909	例 Object and Water 能力鹽鹼, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8782-8791	例 Entity and Water Process Object and Object 例 Process and ChemicalSynthesis 資源 Process and Object 例 Object and 氫資源 Process and Object 例 Object and 氧結果 Process and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8979-8983	例 Object and 冰例 Object and Water attribute Object and 固體
No TPTP formula. May not be expressible in strict first order.	naics.kif 954-977	例 Collection and Organization attribute Collection and 公用事業 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object Process and AutonomousAgent 例 AutonomousAgent and Removing 例 Object and 污水患者 AutonomousAgent and Object 例 Object and Electron 例 Object and Water 例 Object and PureSubstance 能力 Combustion, 患者 and Object 會員 Process and Collection 例 AutonomousAgent and FinancialTransaction agent AutonomousAgent and Process 患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8774-8780	例 Object and 生理鹽水部分 Object and Object 例 Object and 鹽例 Object and Water
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4114-4120	attribute CorpuscularObject and WaterBed CorpuscularObject Object 零件 CorpuscularObject and CorpuscularObject 包含 CorpuscularObject and Object 例 Object and Water
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14418-14423	例 Organism and Alga Object 棲息 Organism and Object 例 Object and Water
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2509-2517	例 Process and 酸雨 Physical RealNumber 例 Physical and Water 患者 Process and Physical 測量 Physical and 測量 RealNumber and 酸鹼度少於 RealNumber and 5.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2495-2507	例 Process and 酸雨 Object Object, Object and Object 例 Object and Water 患者 Process and Object 例 Object and SulphurDioxide 例 Object and NitricOxide 例 Object and NitrogenDioxide 部分 Object and Object 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14124-14131	例 Object and WaterArea Object HoleRegion and Object 等於洞主持人 HoleRegion and Object 例 Object and Water 適當填充 Object and HoleRegion 等於 mereological 總和 Object and Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14773-14778	例 Object and 水雲 Object 例 Object and Water 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14780-14793	例 Object and 水雲 Object 部分 Object and Object 例 Object and Water Object RealNumber, RealNumber and UnitOfMeasure 例 Object and Water 部分 Object and Object 測量 Object and 測量 RealNumber and UnitOfMeasure 測量 Object and 測量 RealNumber and UnitOfMeasure 比較多 RealNumber and RealNumber
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2803-2815	例 Transfer and Drizzling Collection SelfConnectedObject and RealNumber 例 Collection and Collection 例 SelfConnectedObject and Water 例 SelfConnectedObject and LiquidDrop 會員 SelfConnectedObject and Collection objectTransferred Transfer and Collection SelfConnectedObject 的 approximate diameter 是測量 RealNumber and 毫米模態屬性小於或等於 RealNumber and 0.5 and 容易
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14573-14578	例 Organism and Fish Object 棲息 Organism and Object 例 Object and Water
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29492-29500	例 Physical and FishTank 有目的 Physical and entity entity 例 entity and Water 例 entity and Fish 包含 Physical and entity 包含 Physical and entity
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.	Cars.kif 4985-4990	例 Object and Mud Object 例 Object and Water 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11237-11242	例 Process and 水運動 Entity 患者 Process and Entity 例 Entity and Water
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11213-11218	例 Process and 沉澱 Entity 例 Entity and Water 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 248-258	例 Entity and PurifiedWater Process Object and Object 例 Process and Removing 起源 Process and Object 例 Object and Water 患者 Process and Object 例 Object and Substance 部分 Object and Object 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1057-1070	例 Entity and 下雨 Entity Entity and Class 例 Entity and Collection 例 Entity and Water 例 Entity and LiquidDrop 例 Entity, Class, 會員 Entity and Entity, objectTransferred Entity and Entity, Class 的 minimum 預期半徑是測量 0.1 and 毫米 and Class 的 maximum 預期半徑是測量 9.0 and 毫米
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25650-25658	例 Object and Steam Process Entity 例 Process and Boiling 例 Entity and Water 患者 Process and Entity 結果 Process and Object attribute Object and 加油站
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1809-1819	例 Process and DryCleaningService Entity Object and Object 例 Entity and Clothing 儀器 Process and Object 例 Object and Water 例 Object and 化學產品儀器 Process and Object 患者 Process and Entity 結果 Process and attribute Entity and Clean
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2054-2060	例 Physical and BathTub 有目的 Physical and entity 例 entity and Water 包含 Physical and entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25283-25298	例 Object and WhirlpoolTub Object 例 Object and 壓力控制閥部分 Object and Object 有目的 Object and entity entity and entity 例 entity and Water 位於 entity and Object 例 entity and Creation 儀器 entity and Object 結果 entity and entity 例 entity and Motion 位於 entity and entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1211-1223	例 Process and WaterSport Object 例 Object and WaterArea 例 Object and 液體容器 ObjectATER 例 ObjectATER and Water 位於 ObjectATER and Object Process 是 located 在 Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3487-3496	例 Physical and 水車有目的 Physical and entity entity 例 entity and Water 例 entity and Transportation 持有期間何時 entity and 空間的符合 Physical and entity

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: