| 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 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 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 |
|
|
|