| (=> (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 | 保持 は 意図的なプロセス の subclass では %n |
| (subclass Confining Keeping) | Merge.kif 12222-12222 | 閉じ込め は 保持 の subclass では %n |
| (subclass PreservingFood Keeping) | Food.kif 184-184 | PreservingFood は 保持 の subclass では %n |
|
|