FreshWater
|
|
appearance as argument number 1 |
(documentation FreshWater EnglishLanguage "FreshWater is the subclass of Water that has low soluble mineral content. See also DrinkingWater.") | Geography.kif 2732-2733 | |
(externalImage FreshWater "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg") | pictureList.kif 1767-1767 | |
(roomTempState FreshWater Liquid) | Mid-level-ontology.kif 31601-31601 | roomTempState 淡水 and 液体 |
(subclass FreshWater Water) | Geography.kif 2730-2730 | 淡水 是 水 的 subclass |
appearance as argument number 2 |
(subclass DrinkingWater FreshWater) | Geography.kif 2810-2810 | 饮用水 是 淡水 的 subclass |
(subclass TapWater FreshWater) | Food.kif 268-268 | TapWater 是 淡水 的 subclass |
(termFormat ChineseLanguage FreshWater "淡水") | domainEnglishFormat.kif 25034-25034 | |
(termFormat ChineseTraditionalLanguage FreshWater "淡水") | domainEnglishFormat.kif 25033-25033 | |
(termFormat EnglishLanguage FreshWater "freshwater") | domainEnglishFormat.kif 25032-25032 |
antecedent |
(=> (and (instance ?X HeatedPool) (contains ?X ?WATER) (instance ?WATER FreshWater) (part ?X ?HEATER) (instance ?HEATER WaterHeater) (attribute ?HEATER DeviceOn)) (attribute ?WATER WarmTemperature)) |
Mid-level-ontology.kif 26829-26837 |
consequent |
(=> (and (instance ?P Plant) (part ?TIS ?P)) (exists (?K ?W ?CLASS) (and (instance ?K ?CLASS) (subclass ?CLASS Keeping) (instance ?W FreshWater) (patient ?K ?W) (capability ?CLASS instrument ?TIS) (or (instance ?TIS PlantLeaf) (instance ?TIS PlantStem))))) |
Mid-level-ontology.kif 9561-9574 | |
(=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F FreshWater)) |
Mid-level-ontology.kif 4734-4739 | |
(=> (instance ?BEVERAGE DistilledAlcoholicBeverage) (exists (?REMOVE ?WATER) (and (instance ?REMOVE Removing) (patient ?REMOVE ?WATER) (instance ?WATER FreshWater) (origin ?REMOVE ?BEVERAGE)))) |
Mid-level-ontology.kif 10925-10932 | |
(=> (instance ?OIL Oil) (not (exists (?MIX ?WATER) (and (instance ?MIX Mixture) (part ?WATER ?MIX) (instance ?WATER FreshWater) (part ?OIL ?MIX))))) |
Mid-level-ontology.kif 8812-8820 | |
(=> (instance ?P Washing) (exists (?D ?W) (and (instance ?D Detergent) (instrument ?P ?D) (instance ?W FreshWater) (instrument ?P ?W)))) |
Mid-level-ontology.kif 5579-5586 | |
(=> (instance ?P WatercolorPaint) (exists (?W) (and (instance ?W FreshWater) (part ?W ?P)))) |
Mid-level-ontology.kif 3208-3213 | |
(=> (instance ?ROOT PlantRoot) (hasPurpose ?ROOT (exists (?TRAN ?STUFF ?HOST) (and (instance ?TRAN Transfer) (instrument ?TRAN ?ROOT) (origin ?TRAN ?HOST) (orientation ?HOST ?ROOT Outside) (objectTransferred ?TRAN ?STUFF) (or (instance ?STUFF FreshWater) (instance ?STUFF Nutrient)))))) |
Mid-level-ontology.kif 9507-9519 | |
(=> (instance ?SOAK Soaking) (exists (?WATER ?OBJ) (and (instance ?OBJ Object) (patient ?SOAK ?OBJ) (instance ?WATER FreshWater) (resource ?SOAK ?WATER) (holdsDuring ?SOAK (orientation ?OBJ ?WATER Surrounded))))) |
Mid-level-ontology.kif 26527-26536 | |
(=> (instance ?WP WaterPump) (hasPurpose ?WP (exists (?T ?W) (and (instance ?T Transfer) (instance ?W FreshWater) (objectTransferred ?T ?W) (instrument ?T ?WP))))) |
Cars.kif 2769-2777 | |
(=> (instance ?X WaterHeater) (hasPurpose ?X (exists (?HEAT ?WATER) (and (instance ?HEAT Heating) (instance ?WATER FreshWater) (patient ?HEAT ?WATER) (instrument ?HEAT ?X))))) |
Mid-level-ontology.kif 25662-25670 |