SUMO   View all facts   Glossary   Help
unparented > resource
Next unparented: result    Up: unparented    Previous unparented: QuaternaryFunction   

resource
subjectfact 
resourcedocumentation (resource ?PROCESS ?RESOURCE) means that ?RESOURCE is present at the beginning of ?PROCESS, is used by ?PROCESS, and as a consequence is changed by ?PROCESS. For example, soap is a resource in the following proposition: the gun was carved out of soap. Note that resource differs from instrument, another subrelation of patient, in that it is structurally altered in some way by the Process2001-11-30 13:35:12.0
has axiom 
(<=>
    (resource ?PROC ?OBJ)
    (not
       (instrument ?PROC ?OBJ)))
2001-11-30 13:35:12.0
has axiom 
(=>
      (and
           (resource ?PROC ?OBJ)
           (holdsDuring (ImmediatePastFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT1))
           (holdsDuring (ImmediateFutureFn (WhenFn ?PROC)) (measure ?OBJ ?QUANT2)))
      (greaterThan ?QUANT1 ?QUANT2))
2001-11-30 13:35:12.0
has axiom 
(=>
      (exploits ?OBJ ?AGENT)
      (exists (?PROCESS)
           (and
                (agent ?PROCESS ?AGENT)
                (resource ?PROCESS ?OBJ))))
2001-11-30 13:35:12.0
has domain1 Process2001-11-30 13:35:12.0
has domain2 Object2001-11-30 13:35:12.0