Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 129-137	If an entity is an instance of organism remains and a process is an instance of death and an agent experiences the process and the agent is an instance of the agentTYPE and the agentTYPE is a subclass of organic object and the entity is a result of the process, then the entity is an instance of a dead the agentTYPE
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10206-10206	Death is a subclass of organism process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6300-6300	Asphyxiation is a subclass of death
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6316-6316	Bleedout is a subclass of death