| (=> (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 9560-9573 |
|
| (subclass Keeping IntentionalProcess) | Merge.kif 12196-12196 | Garder est une sous-classe de processus intentionnel |
| (subclass Confining Keeping) | Merge.kif 12222-12222 | Confiner est une sous-classe de garder |
| (subclass PreservingFood Keeping) | Food.kif 184-184 | PreservingFood est une sous-classe de garder |
|
|