Killing Comparison Table

Killing comparison table

Subject documentation is a kind of have axiom

Destruction The subclass of Process in which the patient (or an essential element of the patient) is destroyed Process
(<=>
(instance ?PROCESS Destruction)
(exists (?PATIENT)
(and
(patient ?PROCESS ?PATIENT)
(existant ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS)))
(not
(existant ?PATIENT (ImmediateFutureFn (WhenFn ?PROCESS)))))))

Killing 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 Destruction
(=>
(and
(instance ?KILL Killing)
(patient ?KILL ?PATIENT))
(and
(holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living))
(holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))

Subject	documentation	is a kind of	have axiom
Destruction	The subclass of Process in which the patient (or an essential element of the patient) is destroyed	Process	(<=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediateFutureFn (WhenFn ?PROCESS)))))))
Killing	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	Destruction	(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))