DrinkingWater - Sigma Knowledge base Browser

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

(documentation DrinkingWater EnglishLanguage "DrinkingWater is the subclass of Water that is safe to be consumed by Human.")	Geography.kif 2800-2801
(externalImage DrinkingWater "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Drinking_water.jpg")	pictureList.kif 2318-2318
(ingredient DrinkingWater Americano)	Food.kif 1309-1309	飲用水是在 Americano 的 ingredient
(roomTempState DrinkingWater Liquid)	Mid-level-ontology.kif 33343-33343	roomTempState 飲用水 and 液體
(subclass DrinkingWater FreshWater)	Geography.kif 2798-2798	子類飲用水 and 淡水
(subclass DrinkingWater PreparedFood)	Food.kif 218-218	子類飲用水 and 已準備食物

appearance as argument number 2

(names "potable water" DrinkingWater)	Food.kif 219-219	名 "potable water" and 飲用水
(relatedInternalConcept PurifiedWater DrinkingWater)	Food.kif 238-238	相關的內部概念 PurifiedWater and 飲用水
(relatedInternalConcept TapWater DrinkingWater)	Food.kif 269-269	相關的內部概念 TapWater and 飲用水
(subclass SparklingWater DrinkingWater)	Food.kif 221-221	子類 SparklingWater and 飲用水
(termFormat ChineseLanguage DrinkingWater "饮用水")	domainEnglishFormat.kif 46887-46887	子類 SparklingWater and 飲用水
(termFormat ChineseTraditionalLanguage DrinkingWater "飲用水")	domainEnglishFormat.kif 46886-46886	子類 SparklingWater and 飲用水
(termFormat EnglishLanguage DrinkingWater "potable water")	domainEnglishFormat.kif 46885-46885	子類 SparklingWater and 飲用水

antecedent

(=> (and (instance ?A Americano) (part ?E ?A) (part ?W ?A) (instance ?E Espresso) (instance ?W DrinkingWater) (measure ?W (MeasureFn 90.0 CelsiusDegree)) (mixtureRatio ?E ?W ?V1 ?V2 Liter)) (and (approximateValue ?V1 0.03) (approximateValue ?V2 0.15)))	Food.kif 1322-1333	例 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
(=> (and (instance ?L LongBlack) (part ?E ?L) (part ?W ?L) (instance ?E Espresso) (instance ?W DrinkingWater) (mixtureRatio ?E ?W ?V1 ?V2 Liter)) (and (approximateValue ?V1 0.06) (approximateValue ?V2 0.12)))	Food.kif 1441-1451	例 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
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock))	Food.kif 1639-1645	子類 Object and Mixture %每個 Object 是 Meat 的 initially part %每個 Object 是 FoodFromPlant 的 initially part %每個 Object 是飲用水的 initially part 等於 Object and 高湯
(=> (subclass ?W DrinkingWater) (subclass ?W (FoodForFn Human)))	Geography.kif 2803-2806	子類 Class and 飲用水子類 Class and food for Human

consequent

(=> (and (instance ?X DryRoasting) (instance ?F Food) (patient ?X ?F)) (holdsDuring ?X (exists (?H ?S) (and (instance ?H Heating) (instance ?S Stirring) (subProcess ?H ?X) (subProcess ?S ?X) (during (WhenFn ?S) (WhenFn ?H)) (patient ?H ?F) (patient ?S ?F) (not (exists (?O ?W) (and (instance ?O Oil) (instance ?W DrinkingWater) (patient ?X ?O) (patient ?X ?W))))))))	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
(=> (instance ?A Americano) (exists (?P ?W ?E) (and (instance ?P Pouring) (patient ?P ?W) (instance ?W DrinkingWater) (measure ?W (MeasureFn 90 CelsiusDegree)) (destination ?P ?E) (instance ?E Espresso) (result ?P ?A))))	Food.kif 1311-1321	例 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
(=> (instance ?C Coffee) (material DrinkingWater ?C))	Food.kif 641-643	例 CorpuscularObject and 咖啡材料飲用水 and CorpuscularObject
(=> (instance ?C ColdBrewingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?C ?W) (measure ?W (MeasureFn 20 CelsiusDegree)))))	Food.kif 844-851	例 Process and ColdBrewingCoffee Object 例 Object and 飲用水資源 Process and Object 測量 Object and 測量 20 and 攝氏度
(=> (instance ?CM CoffeeMaking) (exists (?LM ?W ?CG) (and (subProcess ?LM ?CM) (instance ?LM LiquidMotion) (patient ?LM ?W) (instance ?W DrinkingWater) (destination ?LM ?CG) (instance ?CG CoffeeGrind))))	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
(=> (instance ?CM CoffeeMaking) (exists (?R ?LM ?CG ?W ?F ?C) (and (subProcess ?R ?CM) (instance ?R Removing) (origin ?R ?LM) (instance ?LM LiquidMixture) (part ?W ?LM) (instance ?W DrinkingWater) (part ?CG ?LM) (instance ?CG CoffeeGrind) (instrument ?R ?F) (instance ?F Filter) (result ?R ?C) (instance ?C Coffee))))	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 咖啡
(=> (instance ?CM CoffeeMaking) (exists (?S ?W ?CG) (and (subProcess ?S ?CM) (instance ?S Soaking) (resource ?S ?W) (instance ?W DrinkingWater) (patient ?S ?CG) (instance ?CG CoffeeGrind))))	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
(=> (instance ?D Dough) (exists (?F ?W) (and (instance ?F Flour) (instance ?W DrinkingWater) (part ?F ?D) (part ?W ?D))))	Food.kif 1615-1622	例 Object and 麵團 Object Object 例 Object and 麵粉例 Object and 飲用水部分 Object and Object 部分 Object and Object
(=> (instance ?E Espresso) (exists (?W ?V) (and (instance ?W DrinkingWater) (part ?W ?E) (measure ?W (MeasureFn ?V Liter)) (approximateValue ?V 0.03))))	Food.kif 754-762	例 Object and Espresso Object RealNumber 例 Object and 飲用水部分 Object and Object 測量 Object and 測量 RealNumber and 升 approximateValue RealNumber and 0.03
(=> (instance ?L LongBlack) (and (material Espresso ?L) (material DrinkingWater ?L)))	Food.kif 1424-1428	例 CorpuscularObject and LongBlack 材料 Espresso and CorpuscularObject 材料飲用水 and CorpuscularObject
(=> (instance ?L LongBlack) (exists (?P ?W ?E) (and (instance ?P Pouring) (patient ?P ?W) (instance ?W DrinkingWater) (attribute ?W HotTemperature) (destination ?P ?E) (instance ?E Espresso) (result ?P ?L))))	Food.kif 1430-1440	例 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
(=> (instance ?S Sorbet) (material DrinkingWater ?S))	Food.kif 3451-3453	例 CorpuscularObject and Sorbet 材料飲用水 and CorpuscularObject
(=> (instance ?S SparklingWater) (exists (?P ?W ?CD) (and (instance ?P Putting) (instance ?W DrinkingWater) (destination ?P ?CD) (instance ?CD CarbonDioxide) (result ?P ?S) (part ?CD ?S))))	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
(=> (instance ?V Vodka) (exists (?W) (and (instance ?W DrinkingWater) (part ?W ?V))))	Food.kif 3595-3600	例 Object and Vodka Object 例 Object and 飲用水部分 Object and Object
(=> (instance ?X FrenchPressingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?W ?X) (measure ?W (MeasureFn 90 CelsiusDegree)))))	Food.kif 862-869	例 Object and FrenchPressingCoffee Process 例 Process and 飲用水資源 Process and Object 測量 Process and 測量 90 and 攝氏度

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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