(<=> (instance ?PROCESS Creation) (exists (?PATIENT) (and (patient ?PROCESS ?PATIENT) (existant ?PATIENT (ImmediateFutureFn(WhenFn ?PROCESS))) (not (existant ?PATIENT (ImmediatePastFn (WhenFn ?PROCESS)))))))
(=> (instance ?ACTION Creation) (exists (?RESULT) (result ?ACTION ?RESULT)))
Kinds of Creation :
Next Process: Damaging Up: Process Previous Process: Covering