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

instrument
subjectfact 
instrumentdocumentation (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 pair2001-11-30 13:34:30.0
has axiom 
(<=>
    (resource ?PROC ?OBJ)
    (not
       (instrument ?PROC ?OBJ)))
2001-11-30 13:34:30.0
has axiom 
(=>
      (uses ?OBJ ?AGENT)
      (exists (?PROC)
           (and
                (agent ?PROC ?AGENT)
                (instrument ?PROC ?OBJ))))
2001-11-30 13:34:30.0
has axiom 
(=>
     (instance ?POISON Poisoning)
     (exists (?SUBSTANCE)
         (and
 		(instance ?SUBSTANCE ToxicSubstance)
             (instrument ?POISON ?SUBSTANCE))))
2001-11-30 13:34:30.0
has axiom 
(=>
    (and
       (instance ?IMPACT Impacting)
       (instrument ?IMPACT ?INST)
       (patient ?IMPACT ?PLACE))
    (holdsDuring (WhenFn ?IMPACT) (connected ?INST ?PLACE)))
2001-11-30 13:34:30.0
has axiom 
(=>
    (and
       (instance ?POKE Poking)
       (agent ?POKE ?AGENT)
       (patient ?POKE ?OBJ)
       (instrument ?POKE ?INST))
    (holdsDuring (WhenFn ?POKE) (connects ?INST ?AGENT ?OBJ)))
2001-11-30 13:34:30.0
has axiom 
(=>
    (instance ?DEVICE Device)
    (exists (?PROC)
       (and
          (instance ?PROC Process)
          (instrument ?PROC ?DEVICE))))
2001-11-30 13:34:30.0
has axiom 
(=>
    (instance ?TRANS Transportation)
    (exists (?DEVICE)
          (and
             (instance ?DEVICE TransportationDevice)
             (instrument ?TRANS ?DEVICE))))
2001-11-30 13:34:30.0
has domain1 Process2001-11-30 13:34:30.0
has domain2 Object2001-11-30 13:34:30.0