Killing concept from the SUMO knowledge base

Killing	*documentation* The subclass of Destruction in which the death of an Organism is caused by an Organism. Note that in cases of suicide the Organism would be the same in both cases
	has axiom (=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism)))
	has axiom (=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))
	is a kind of Destruction
Process	*is first domain* of** agent
	*is first domain* of** capability
	*is first domain* of** causes
	*is first domain* of** destination
	*is first domain* of** direction
	*is first domain* of** effector
	*is first domain* of** experiencer
	*is first domain* of** frequency
	*is first domain* of** hasSkill
	*is first domain* of** holdsObligation
	*is first domain* of** holdsRight
	*is first domain* of** inhibits
	*is first domain* of** instrument
	*is first domain* of** manner
	*is first domain* of** origin
	*is first domain* of** patient
	*is first domain* of** precondition
	*is first domain* of** prevents
	*is first domain* of** realization
	*is first domain* of** resource
	*is first domain* of** result
	*is first domain* of** subProcess
	*is second domain* of** causes
	*is second domain* of** inhibits
	*is second domain* of** precondition
	*is second domain* of** prevents
	*is second domain* of** subProcess


Killing
subject			fact