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 は FreshWater の subclass では %n |
(subclass DrinkingWater PreparedFood) | Food.kif 218-218 | DrinkingWater は PreparedFood の subclass では %n |
appearance as argument number 2 |
(names "potable water" DrinkingWater) | Food.kif 219-219 | DrinkingWater は "potable water" の name を 持って %n{ない} |
(relatedInternalConcept PurifiedWater DrinkingWater) | Food.kif 238-238 | PurifiedWater は DrinkingWater に internally 関連して %n |
(relatedInternalConcept TapWater DrinkingWater) | Food.kif 269-269 | TapWater は DrinkingWater に internally 関連して %n |
(subclass SparklingWater DrinkingWater) | Food.kif 221-221 | SparklingWater は DrinkingWater の subclass では %n |
(termFormat ChineseLanguage DrinkingWater "饮用水") | domainEnglishFormat.kif 46856-46856 | |
(termFormat ChineseTraditionalLanguage DrinkingWater "飲用水") | domainEnglishFormat.kif 46855-46855 | |
(termFormat EnglishLanguage DrinkingWater "potable water") | domainEnglishFormat.kif 46854-46854 |
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 1321-1332 | |
(=> (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 1440-1450 | |
(=> (and (subclass ?S Mixture) (initialPart ?S Meat) (initialPart ?S FoodFromPlant) (initialPart ?S DrinkingWater)) (equal ?S SoupStock)) |
Food.kif 1633-1639 |
|
(=> (subclass ?W DrinkingWater) (subclass ?W (FoodForFn Human))) |
Geography.kif 2815-2818 |
consequent |