| (=> (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 Keeping IntentionalProcess) | Merge.kif 12174-12174 | 保存 是 有意图过程 的 subclass |
| (subclass Confining Keeping) | Merge.kif 12200-12200 | 关押 是 保存 的 subclass |
| (subclass PreservingFood Keeping) | Food.kif 184-184 | PreservingFood 是 保存 的 subclass |
|
|