(=> (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 | FreshWater est une sous-classe de eau |
(subclass DrinkingWater FreshWater) | Geography.kif 2810-2810 | DrinkingWater est une sous-classe de FreshWater |
(subclass TapWater FreshWater) | Food.kif 268-268 | TapWater est une sous-classe de FreshWater |