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

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

Next unparented: instrument    Up: unparented    Previous unparented: ImmediateFutureFn(WhenFn