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

resource comparison table
Subject documentation have domain2 have domain1 have axiom
unparented    
resource(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 ProcessObjectProcess
(=>
(exploits ?OBJ ?AGENT)
(exists (?PROCESS)
(and
(agent ?PROCESS ?AGENT)
(resource ?PROCESS ?OBJ))))

Next unparentedresult    Upunparented    Previous unparentedQuaternaryFunction