| (=> (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 | |
| (=> (and (parent ?CHILD ?PARENT) (subclass ?CLASS Organism) (instance ?PARENT ?CLASS)) (instance ?CHILD ?CLASS)) |
Merge.kif 15191-15196 | |
| (=> (instance ?SPECIES BiologicalSpecies) (subclass ?SPECIES Organism)) |
Mid-level-ontology.kif 8890-8892 | |
| (subclass Organism OrganicObject) | Merge.kif 13302-13302 | |
| (subclass Organism Agent) | Merge.kif 13303-13303 | |
| (subclass ToxicOrganism Organism) | WMD.kif 187-187 | |
| (subclass GeneticallyEngineeredOrganism Organism) | WMD.kif 234-234 | |
| (subclass Plant Organism) | Merge.kif 13347-13347 | |
| (subclass Fungus Organism) | Merge.kif 13373-13373 | |
| (subclass Animal Organism) | Merge.kif 13394-13394 | |
| (subclass Microorganism Organism) | Merge.kif 13399-13399 |
|
|