Sigma KB Term Intersection

(=> (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	Wenn Entity ist ein fall von OrganismRemains %n{nicht} und Process ist ein fall von Death %n{nicht} und AutonomousAgent erfaehrt Process %n{nicht} und AutonomousAgent ist ein fall von AutonomousAgentTYPE %n{nicht} und AutonomousAgentTYPE ist eine teilkategorie von OrganicObject und Entity ist ein resultat von Process %n{nicht}, dann Entity ist ein fall von DeadFn AutonomousAgentTYPE %n{nicht}
(subclass Death OrganismProcess)	Merge.kif 10206-10206	Death ist eine teilkategorie von OrganismProcess
(subclass Asphyxiation Death)	Medicine.kif 6300-6300	Asphyxiation ist eine teilkategorie von Death
(subclass Bleedout Death)	Medicine.kif 6316-6316	Bleedout ist eine teilkategorie von Death