(<=> (instance ?PROCESS Destruction) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediatePastFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediateFutureFn (WhenFn ?PROCESS)))))))
Kinds of Destruction :
Next Process: Detaching Up: Process Previous Process: Decreasing