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 2812-2813 | |
(externalImage DrinkingWater "http://upload.wikimedia.org/wikipedia/commons/ a/ ae/ Drinking_water.jpg") | pictureList.kif 2319-2319 | |
(ingredient DrinkingWater Americano) | Food.kif 1308-1308 | ingredient DrinkingWater and Americano |
(roomTempState DrinkingWater Liquid) | Mid-level-ontology.kif 31635-31635 | roomTempState DrinkingWater and Liquid |
(subclass DrinkingWater FreshWater) | Geography.kif 2810-2810 | DrinkingWater ist eine teilkategorie von FreshWater |
(subclass DrinkingWater PreparedFood) | Food.kif 218-218 | DrinkingWater ist eine teilkategorie von PreparedFood |
appearance as argument number 2 |
(names "potable water" DrinkingWater) | Food.kif 219-219 | names "potable water" and DrinkingWater |
(relatedInternalConcept PurifiedWater DrinkingWater) | Food.kif 238-238 | PurifiedWater ist innerlich verwandt mit DrinkingWater %n{nicht} |
(relatedInternalConcept TapWater DrinkingWater) | Food.kif 269-269 | TapWater ist innerlich verwandt mit DrinkingWater %n{nicht} |
(subclass SparklingWater DrinkingWater) | Food.kif 221-221 | SparklingWater ist eine teilkategorie von DrinkingWater |
(termFormat ChineseLanguage DrinkingWater "饮用水") | domainEnglishFormat.kif 46856-46856 | |
(termFormat ChineseTraditionalLanguage DrinkingWater "飲用水") | domainEnglishFormat.kif 46855-46855 | |
(termFormat EnglishLanguage DrinkingWater "potable water") | domainEnglishFormat.kif 46854-46854 |
antecedent |
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 |
|
(=> (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 1310-1320 |
|
(=> (instance ?C Coffee) (material DrinkingWater ?C)) |
Food.kif 641-643 |
|
(=> (instance ?C ColdBrewingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?C ?W) (measure ?W (MeasureFn 20 CelsiusDegree))))) |
Food.kif 844-851 |
|
(=> (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 |
|
(=> (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 |
|
(=> (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 |
|
(=> (instance ?D Dough) (exists (?F ?W) (and (instance ?F Flour) (instance ?W DrinkingWater) (part ?F ?D) (part ?W ?D)))) |
Food.kif 1609-1616 |
|
(=> (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 |
|
(=> (instance ?L LongBlack) (and (material Espresso ?L) (material DrinkingWater ?L))) |
Food.kif 1423-1427 |
|
(=> (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 1429-1439 |
|
(=> (instance ?S Sorbet) (material DrinkingWater ?S)) |
Food.kif 3444-3446 |
|
(=> (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 |
|
(=> (instance ?V Vodka) (exists (?W) (and (instance ?W DrinkingWater) (part ?W ?V)))) |
Food.kif 3588-3593 |
|
(=> (instance ?X FrenchPressingCoffee) (exists (?W) (and (instance ?W DrinkingWater) (resource ?W ?X) (measure ?W (MeasureFn 90 CelsiusDegree))))) |
Food.kif 862-869 |
|