| (=> (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 250-258 | |
| (subclass OrganicObject CorpuscularObject) | Merge.kif 13343-13343 | |
| (subclass OrganicObject OrganicThing) | Merge.kif 13344-13344 | |
| (subclass OrganismRemains OrganicObject) | Mid-level-ontology.kif 139-139 | |
| (subclass Fodder OrganicObject) | Mid-level-ontology.kif 17820-17820 | |
| (subclass Organism OrganicObject) | Merge.kif 13351-13351 | |
| (subclass AnatomicalStructure OrganicObject) | Merge.kif 13898-13898 | |
| (subclass Miswak OrganicObject) | ArabicCulture.kif 338-338 |
|
|