SUMO   View all facts   Glossary   Help
unparented > ImmediateFutureFn(WhenFn
Next unparented: ImmediatePastFn(WhenFn    Up: unparented    Previous unparented: height   

ImmediateFutureFn(WhenFn
subjectfact 
ImmediateFutureFn(WhenFnhas axiom 
(<=>
    (instance ?PROCESS Creation)
    (exists (?PATIENT)
       (and 
          (patient ?PROCESS ?PATIENT)
          (existant ?PATIENT (ImmediateFutureFn(WhenFn ?PROCESS))) 
          (not 
             (existant ?PATIENT (ImmediatePastFn (WhenFn ?PROCESS)))))))
2001-11-30 13:34:28.0