(=> (and (instance ?KILL Killing) (agent ?KILL ?AGENT) (patient ?KILL ?PATIENT)) (and (instance ?AGENT Organism) (instance ?PATIENT Organism)))
(=> (and (instance ?KILL Killing) (patient ?KILL ?PATIENT)) (and (holdsDuring (ImmediatePastFn (WhenFn ?KILL)) (attribute ?PATIENT Living)) (holdsDuring (ImmediateFutureFn (WhenFn ?KILL)) (attribute ?PATIENT Dead))))
Up: Destruction