(=> (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 | |
(subclass FreshWater Water) | Geography.kif 2730-2730 | |
(subclass DrinkingWater FreshWater) | Geography.kif 2810-2810 | |
(subclass TapWater FreshWater) | Food.kif 268-268 |