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

instrument comparison table
Subject documentation have domain2 have domain1 have axiom
unparented    
instrument(instrument ?EVENT ?TOOL) means that ?TOOL is used by an agent in bringing about ?EVENT and that ?TOOL is not changed by ?EVENT. For example, the key is an instrument in the following proposition: The key opened the door. Note that instrument and resource cannot be satisfied by the same ordered pairObjectProcess
(=>
    (instance ?TRANS Transportation)
    (exists (?DEVICE)
          (and
             (instance ?DEVICE TransportationDevice)
             (instrument ?TRANS ?DEVICE))))

Next unparented: interiorPart    Up: unparented    Previous unparented: ImmediatePastFn(WhenFn