| 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 2720-2721 | |
| (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 33548-33548 | roomTempState 淡水 and 液体 |
| (subclass FreshWater Water) | Geography.kif 2718-2718 | 淡水 是 水 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass DrinkingWater FreshWater) | Geography.kif 2798-2798 | 饮用水 是 淡水 的 subclass |
| (subclass TapWater FreshWater) | Food.kif 268-268 | TapWater 是 淡水 的 subclass |
| (termFormat ChineseLanguage FreshWater "淡水") | domainEnglishFormat.kif 25045-25045 | TapWater 是 淡水 的 subclass |
| (termFormat ChineseTraditionalLanguage FreshWater "淡水") | domainEnglishFormat.kif 25044-25044 | TapWater 是 淡水 的 subclass |
| (termFormat EnglishLanguage FreshWater "freshwater") | domainEnglishFormat.kif 25043-25043 | TapWater 是 淡水 的 subclass |
| 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 28730-28738 |
| 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 10890-10903 | |
| (=> (and (instance ?P SwimmingPool) (contains ?P ?F) (instance ?F Fluid)) (instance ?F FreshWater)) |
Mid-level-ontology.kif 5190-5195 | |
| (=> (instance ?BEVERAGE DistilledAlcoholicBeverage) (exists (?REMOVE ?WATER) (and (instance ?REMOVE Removing) (patient ?REMOVE ?WATER) (instance ?WATER FreshWater) (origin ?REMOVE ?BEVERAGE)))) |
Mid-level-ontology.kif 12256-12263 | |
| (=> (instance ?OIL Oil) (not (exists (?MIX ?WATER) (and (instance ?MIX Mixture) (part ?WATER ?MIX) (instance ?WATER FreshWater) (part ?OIL ?MIX))))) |
Mid-level-ontology.kif 10018-10026 | |
| (=> (instance ?P Washing) (exists (?D ?W) (and (instance ?D Detergent) (instrument ?P ?D) (instance ?W FreshWater) (instrument ?P ?W)))) |
Mid-level-ontology.kif 6516-6523 | |
| (=> (instance ?P WatercolorPaint) (exists (?W) (and (instance ?W FreshWater) (part ?W ?P)))) |
Mid-level-ontology.kif 3651-3656 | |
| (=> (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 10836-10848 | |
| (=> (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 28428-28437 | |
| (=> (instance ?WP WaterPump) (hasPurpose ?WP (exists (?T ?W) (and (instance ?T Transfer) (instance ?W FreshWater) (objectTransferred ?T ?W) (instrument ?T ?WP))))) |
Cars.kif 2753-2761 | |
| (=> (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 27562-27570 |
|
|
|