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

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