(=> (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 |
|
(subclass OrganismRemains OrganicObject) | Mid-level-ontology.kif 28-28 | OrganismRemains は 有機物 の subclass では %n |
(subclass HumanCorpse OrganismRemains) | Mid-level-ontology.kif 101-101 | HumanCorpse は OrganismRemains の subclass では %n |