| (=> (and (instance ?REM OrganicObject) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORG Organism) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE))) |
Mid-level-ontology.kif 122-130 | |
| (subclass Death OrganismProcess) | Merge.kif 10114-10114 |
|
|