| 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 1766-1766 | |
| (roomTempState FreshWater Liquid) | Mid-level-ontology.kif 31866-31866 | |
| (subclass FreshWater Water) | Geography.kif 2730-2730 |
| appearance as argument number 2 |
|
|
| (subclass DrinkingWater FreshWater) | Geography.kif 2810-2810 | |
| (subclass TapWater FreshWater) | Food.kif 268-268 | |
| (termFormat ChineseLanguage FreshWater "淡水") | domainEnglishFormat.kif 25063-25063 | |
| (termFormat ChineseTraditionalLanguage FreshWater "淡水") | domainEnglishFormat.kif 25062-25062 | |
| (termFormat EnglishLanguage FreshWater "freshwater") | domainEnglishFormat.kif 25061-25061 |
| 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 27093-27101 |
| 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 9779-9792 | |
| (=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F FreshWater)) |
Mid-level-ontology.kif 4729-4734 | |
| (=> (instance ?BEVERAGE DistilledAlcoholicBeverage) (exists (?REMOVE ?WATER) (and (instance ?REMOVE Removing) (patient ?REMOVE ?WATER) (instance ?WATER FreshWater) (origin ?REMOVE ?BEVERAGE)))) |
Mid-level-ontology.kif 11143-11150 | |
| (=> (instance ?OIL Oil) (not (exists (?MIX ?WATER) (and (instance ?MIX Mixture) (part ?WATER ?MIX) (instance ?WATER FreshWater) (part ?OIL ?MIX))))) |
Mid-level-ontology.kif 9030-9038 | |
| (=> (instance ?P Washing) (exists (?D ?W) (and (instance ?D Detergent) (instrument ?P ?D) (instance ?W FreshWater) (instrument ?P ?W)))) |
Mid-level-ontology.kif 5573-5580 | |
| (=> (instance ?P WatercolorPaint) (exists (?W) (and (instance ?W FreshWater) (part ?W ?P)))) |
Mid-level-ontology.kif 3201-3206 | |
| (=> (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 9725-9737 | |
| (=> (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 26791-26800 | |
| (=> (instance ?WP WaterPump) (hasPurpose ?WP (exists (?T ?W) (and (instance ?T Transfer) (instance ?W FreshWater) (objectTransferred ?T ?W) (instrument ?T ?WP))))) |
Cars.kif 2752-2760 | |
| (=> (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 25926-25934 |
|
|
|