SUMO   View all facts   Glossary   Help
Entity > Physical > Process > Motion > Transfer > Putting
Next Transfer: Removing    Up: Transfer    Previous Transfer: Impelling   

Putting
subjectfact 
Puttingdocumentation The Class of Processes where something is put in a location. Note that the location is specified with the CaseRole destination2001-11-30 13:35:06.0
has axiom 
(=>
    (and
       (instance ?PUT Putting)
       (destination ?PUT ?PLACE)
       (patient ?PUT ?OBJ))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?PUT)) (not (located ?OBJ ?PLACE)))
       (holdsDuring (ImmediateFutureFn (WhenFn ?PUT)) (located ?OBJ ?PLACE))))
2001-11-30 13:35:06.0
has axiom 
(=>
    (instance ?SUB Substituting)
    (exists (?PUT ?REMOVE ?OBJ1 ?OBJ2 ?PLACE)
       (and
          (instance ?PUT Putting)
          (instance ?REMOVE Removing)
          (subProcess ?PUT ?SUB)
          (subProcess ?REMOVE ?SUB)
          (patient ?REMOVE ?OBJ1)
          (origin ?REMOVE ?PLACE)
          (patient ?PUT ?OBJ2)
          (destination ?PUT PLACE)
          (not (equal ?OBJ1 ?OBJ2)))))
2001-11-30 13:35:06.0
is a kind of Transfer2001-11-30 13:35:06.0
Motionis first domain of path2001-11-30 13:34:46.0
Processis second domain of causes2001-11-30 13:35:04.0
is second domain of inhibits2001-11-30 13:35:04.0
is second domain of precondition2001-11-30 13:35:04.0
is second domain of prevents2001-11-30 13:35:04.0
is second domain of subProcess2001-11-30 13:35:04.0