TreeView Knowledge Base Browser - DrinkingWater

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - DrinkingWater

DrinkingWater(飲用水)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2812-2813
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2319-2319
No TPTP formula. May not be expressible in strict first order.	Food.kif 1308-1308	飲用水是在 Americano 的 ingredient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31639-31639	roomTempState 飲用水 and 液體
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 218-218	子類飲用水 and 已準備食物

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 219-219	名 "potable water" and 飲用水
No TPTP formula. May not be expressible in strict first order.	Food.kif 238-238	相關的內部概念 PurifiedWater and 飲用水
No TPTP formula. May not be expressible in strict first order.	Food.kif 269-269	相關的內部概念 TapWater and 飲用水
No TPTP formula. May not be expressible in strict first order.	Food.kif 221-221	子類 SparklingWater and 飲用水
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46856-46856
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46855-46855
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46854-46854

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1321-1332	例 Object and Americano 部分 Substance and Object 部分 Substance and Object 例 Substance and Espresso 例 Substance and 飲用水測量 Substance and 測量 90.0 and 攝氏度 mixtureRatio Substance, Substance, RealNumber, RealNumber and 升 approximateValue RealNumber and 0.03 approximateValue RealNumber and 0.15
No TPTP formula. May not be expressible in strict first order.	Food.kif 1440-1450	例 Object and LongBlack 部分 Substance and Object 部分 Substance and Object 例 Substance and Espresso 例 Substance and 飲用水 mixtureRatio Substance, Substance, RealNumber, RealNumber and 升 approximateValue RealNumber and 0.06 approximateValue RealNumber and 0.12
No TPTP formula. May not be expressible in strict first order.	Food.kif 1633-1639	子類 Object and Mixture %每個 Object 是 Meat 的 initially part %每個 Object 是 FoodFromPlant 的 initially part %每個 Object 是飲用水的 initially part 等於 Object and 高湯
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2815-2818	子類 Class and 飲用水子類 Class and food for Human

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	例 Process and DryRoasting 例 Entity and Food 患者 Process and Entity 持有期間 Process and entity entity 例 entity and Heating 例 entity and 攪拌子過程 entity and Process 子過程 entity and Process 期間何時 entity and 何時 entity 患者 entity and Entity 患者 entity and Entity entity entity 例 entity and 油例 entity and 飲用水患者 Process and entity 患者 Process and entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 1310-1320	例 Entity and Americano Process Physical and Entity 例 Process and 澆注患者 Process and Physical 例 Physical and 飲用水測量 Physical and 測量 90 and 攝氏度目的地 Process and Entity 例 Entity and Espresso 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 641-643	例 CorpuscularObject and 咖啡材料飲用水 and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Food.kif 844-851	例 Process and ColdBrewingCoffee Object 例 Object and 飲用水資源 Process and Object 測量 Object and 測量 20 and 攝氏度
No TPTP formula. May not be expressible in strict first order.	Food.kif 664-673	例 Process and CoffeeMaking Process Entity and Entity 子過程 Process and Process 例 Process and 液體運動患者 Process and Entity 例 Entity and 飲用水目的地 Process and Entity 例 Entity and CoffeeGrind
No TPTP formula. May not be expressible in strict first order.	Food.kif 686-701	例 Process and CoffeeMaking Process Object, Object, Object, Object and Entity 子過程 Process and Process 例 Process and Removing 起源 Process and Object 例 Object and 液體混合物部分 Object and Object 例 Object and 飲用水部分 Object and Object 例 Object and CoffeeGrind 儀器 Process and Object 例 Object and 過濾結果 Process and Entity 例 Entity and 咖啡
No TPTP formula. May not be expressible in strict first order.	Food.kif 675-684	例 Process and CoffeeMaking Process Object and Entity 子過程 Process and Process 例 Process and Soaking 資源 Process and Object 例 Object and 飲用水患者 Process and Entity 例 Entity and CoffeeGrind
No TPTP formula. May not be expressible in strict first order.	Food.kif 1609-1616	例 Object and 麵團 Object Object 例 Object and 麵粉例 Object and 飲用水部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Food.kif 754-762	例 Object and Espresso Object RealNumber 例 Object and 飲用水部分 Object and Object 測量 Object and 測量 RealNumber and 升 approximateValue RealNumber and 0.03
No TPTP formula. May not be expressible in strict first order.	Food.kif 1423-1427	例 CorpuscularObject and LongBlack 材料 Espresso and CorpuscularObject 材料飲用水 and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Food.kif 1429-1439	例 Entity and LongBlack Process Object and Entity 例 Process and 澆注患者 Process and Object 例 Object and 飲用水 attribute Object and HotTemperature 目的地 Process and Entity 例 Entity and Espresso 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 3444-3446	例 CorpuscularObject and Sorbet 材料飲用水 and CorpuscularObject
No TPTP formula. May not be expressible in strict first order.	Food.kif 226-235	例 Object and SparklingWater Process Entity and Object 例 Process and Putting 例 Entity and 飲用水目的地 Process and Object 例 Object and CarbonDioxide 結果 Process and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Food.kif 3588-3593	例 Object and Vodka Object 例 Object and 飲用水部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Food.kif 862-869	例 Object and FrenchPressingCoffee Process 例 Process and 飲用水資源 Process and Object 測量 Process and 測量 90 and 攝氏度

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