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

ImmediateFutureFn(WhenFn comparison table
Subject have axiom
unparented 
ImmediateFutureFn(WhenFn
(<=>
    (instance ?PROCESS Creation)
    (exists (?PATIENT)
       (and 
          (patient ?PROCESS ?PATIENT)
          (existant ?PATIENT (ImmediateFutureFn(WhenFn ?PROCESS))) 
          (not 
             (existant ?PATIENT (ImmediatePastFn (WhenFn ?PROCESS)))))))

Next unparented: ImmediatePastFn(WhenFn    Up: unparented    Previous unparented: height