| (=> (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 | Trattenere è una sottoclasse di ProcessoIntenzionale |
| (subclass Confining Keeping) | Merge.kif 12222-12222 | Imprigionare è una sottoclasse di Trattenere |
| (subclass PreservingFood Keeping) | Food.kif 184-184 | PreservingFood è una sottoclasse di Trattenere |
|
|