SUMO   View all facts   Glossary   Help
Entity > Physical > Process > Motion > Transfer > Putting
Next TransferRemoving    UpTransfer    Previous TransferImpelling   

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
(instance ?PUT Putting)
(destination ?PUT ?PLACE)
(patient ?PUT ?OBJ))
(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)
(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