TreeView Knowledge Base Browser - FreshWater

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - FreshWater

FreshWater(淡水)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2732-2733
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1767-1767
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31597-31597	roomTempState 淡水 and 液體
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2730-2730	子類淡水 and Water

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2810-2810	子類飲用水 and 淡水
No TPTP formula. May not be expressible in strict first order.	Food.kif 268-268	子類 TapWater and 淡水
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25034-25034
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25033-25033
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25032-25032

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 26817-26825

例 SelfConnectedObject and HeatedPool 包含 SelfConnectedObject and Object 例 Object and 淡水部分 SelfConnectedObject and Object 例 Object and WaterHeater attribute Object and 設備上
attribute Object and WarmTemperature

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9560-9573	例 Object and Plant 部分 Object and Object Process Entity and Process 例 Process and Process 子類 Process and Keeping 例 Entity and 淡水患者 Process and Entity 能力 Process, 儀器 and Object 例 Object and PlantLeaf 例 Object and PlantStem
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4734-4739	例 SelfConnectedObject and 游泳池包含 SelfConnectedObject and Object 例 Object and 流體例 Object and 淡水
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10924-10931	例 Object and 蒸餾酒精飲料 Process Entity 例 Process and Removing 患者 Process and Entity 例 Entity and 淡水起源 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8811-8819	例 Object and 油 Object Object 例 Object and Mixture 部分 Object and Object 例 Object and 淡水部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5578-5585	例 Process and 洗滌 Object Object 例 Object and 洗滌劑儀器 Process and Object 例 Object and 淡水儀器 Process and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3208-3213	例 Object and 水彩顏料 Object 例 Object and 淡水部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9506-9518	例 Physical and 植物根有目的 Physical and entity entity and entity 例 entity and Transfer 儀器 entity and Physical 起源 entity and entity 方位 entity, Physical and 外 objectTransferred entity and entity 例 entity and 淡水例 entity and Nutrient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26515-26524	例 Process and Soaking Object Entity 例 Entity and Object 患者 Process and Entity 例 Object and 淡水資源 Process and Object 持有期間 Process and 方位 Entity, Object and Surrounded
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2775-2783	例 Physical and WaterPump 有目的 Physical and entity entity 例 entity and Transfer 例 entity and 淡水 objectTransferred entity and entity 儀器 entity and Physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25650-25658	例 Physical and WaterHeater 有目的 Physical and entity entity 例 entity and Heating 例 entity and 淡水患者 entity and entity 儀器 entity and Physical

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