| (=> (and (instance ?REM OrganismRemains) (instance ?DEATH Death) (experiencer ?DEATH ?ORG) (instance ?ORG ?ORGTYPE) (subclass ?ORGTYPE OrganicObject) (result ?DEATH ?REM)) (instance ?REM (DeadFn ?ORGTYPE))) |
Mid-level-ontology.kif 122-130 | |
| (=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject)))) |
Mid-level-ontology.kif 19655-19663 | |
| (subclass OrganicObject CorpuscularObject) | Merge.kif 14499-14499 | |
| (subclass OrganicObject OrganicThing) | Merge.kif 14500-14500 | |
| (subclass Nucleotide OrganicObject) | VirusProteinAndCellPart.kif 51-51 | |
| (subclass Biopolymer OrganicObject) | VirusProteinAndCellPart.kif 85-85 | |
| (subclass Gene OrganicObject) | VirusProteinAndCellPart.kif 647-647 | |
| (subclass OrganismRemains OrganicObject) | Mid-level-ontology.kif 28-28 | |
| (subclass Organism OrganicObject) | Merge.kif 14507-14507 | |
| (subclass AnatomicalStructure OrganicObject) | Merge.kif 15066-15066 | |
| (subclass Miswak OrganicObject) | ArabicCulture.kif 351-351 |
|
|