(=> (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 18083-18091 | |
(subclass OrganicObject CorpuscularObject) | Merge.kif 14368-14368 | |
(subclass OrganicObject OrganicThing) | Merge.kif 14369-14369 | |
(subclass Nucleotide OrganicObject) | VirusProteinAndCellPart.kif 50-50 | |
(subclass Biopolymer OrganicObject) | VirusProteinAndCellPart.kif 82-82 | |
(subclass Gene OrganicObject) | VirusProteinAndCellPart.kif 640-640 | |
(subclass OrganismRemains OrganicObject) | Mid-level-ontology.kif 28-28 | |
(subclass Organism OrganicObject) | Merge.kif 14376-14376 | |
(subclass AnatomicalStructure OrganicObject) | Merge.kif 14935-14935 | |
(subclass Miswak OrganicObject) | ArabicCulture.kif 351-351 |