(=> (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 129-137 | |
(=> (and (instance ?H Harvesting) (result ?H ?O)) (exists (?ORG) (and (instance ?O (DeadFn ?ORG)) (subclass ?ORG OrganicObject)))) |
Mid-level-ontology.kif 18084-18092 | |
(subclass OrganicObject CorpuscularObject) | Merge.kif 14346-14346 | |
(subclass OrganicObject OrganicThing) | Merge.kif 14347-14347 | |
(subclass Nucleotide OrganicObject) | VirusProteinAndCellPart.kif 50-50 | |
(subclass Biopolymer OrganicObject) | VirusProteinAndCellPart.kif 82-82 | |
(subclass Gene OrganicObject) | VirusProteinAndCellPart.kif 641-641 | |
(subclass OrganismRemains OrganicObject) | Mid-level-ontology.kif 28-28 | |
(subclass Organism OrganicObject) | Merge.kif 14354-14354 | |
(subclass AnatomicalStructure OrganicObject) | Merge.kif 14913-14913 | |
(subclass Miswak OrganicObject) | ArabicCulture.kif 351-351 |