SUMO   View all facts   Glossary   Help
unparented > resource
Next unparentedresult    Upunparented    Previous unparentedQuaternaryFunction   

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