Date: Wed, 07 Jan 2004 13:16:37 -0800
To: Peter Yim <peter.yim@cim3.com>
From: Adam Pease <adampease@earthlink.net>
Subject: Re: Formalization Tutorial-2 Material 



Peter,
   Having listened to the recording, it doesn't sound to me like there was 
any formalization exercise beyond one example I did about the notion of a 
resource.  I don't think I saved it, but here would be a reconstruction of 
the axiom it sounds like I was creating at the meeting

(=>
   (and
     (consumableResource ?EV ?RES)
     (holdsDuring
       (ImmediatePastFn ?EV)
       (measure ?RES ?MEAS1))
     (holdsDuring
       (ImmediateFutureFn ?EV)
       (measure ?RES ?MEAS2)))
   (greaterThan ?MEAS1 ?MEAS2))

Actually, this is already an axiom on the existing SUMO relation of "resource"

Adam