| 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 31597-31597 | roomTempState FreshWater and Liquid |
| (subclass FreshWater Water) | Geography.kif 2730-2730 | FreshWater は 水 の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass DrinkingWater FreshWater) | Geography.kif 2810-2810 | DrinkingWater は FreshWater の subclass では %n |
| (subclass TapWater FreshWater) | Food.kif 268-268 | TapWater は FreshWater の subclass では %n |
| (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 26817-26825 |
|
| 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 9560-9573 |
|
| (=> (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 10924-10931 | |
| (=> (instance ?OIL Oil) (not (exists (?MIX ?WATER) (and (instance ?MIX Mixture) (part ?WATER ?MIX) (instance ?WATER FreshWater) (part ?OIL ?MIX))))) |
Mid-level-ontology.kif 8811-8819 | |
| (=> (instance ?P Washing) (exists (?D ?W) (and (instance ?D Detergent) (instrument ?P ?D) (instance ?W FreshWater) (instrument ?P ?W)))) |
Mid-level-ontology.kif 5578-5585 | |
| (=> (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 9506-9518 |
|
| (=> (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 26515-26524 | |
| (=> (instance ?WP WaterPump) (hasPurpose ?WP (exists (?T ?W) (and (instance ?T Transfer) (instance ?W FreshWater) (objectTransferred ?T ?W) (instrument ?T ?WP))))) |
Cars.kif 2775-2783 | |
| (=> (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 25650-25658 |
|
|
|