(=> (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 Death OrganismProcess) | Merge.kif 10206-10206 | 死亡 是 机体过程 的 subclass |
(subclass Asphyxiation Death) | Medicine.kif 6300-6300 | Asphyxiation 是 死亡 的 subclass |
(subclass Bleedout Death) | Medicine.kif 6316-6316 | Bleedout 是 死亡 的 subclass |