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

Removing
subjectfact 
Removingdocumentation The Class of Processes where something is taken away from a location. Note that the thing removed and the location are specified with the CaseRoles patient and origin, respectively2001-11-30 13:35:11.0
has axiom 
(=>
    (and
       (instance ?REMOVE Removing)
       (origin ?REMOVE ?PLACE)
       (patient ?REMOVE ?OBJ))
    (and
       (holdsDuring (ImmediatePastFn (WhenFn ?REMOVE)) (located ?OBJ ?PLACE))
       (holdsDuring (ImmediateFutureFn (WhenFn ?REMOVE)) (not (located ?OBJ ?PLACE)))))
2001-11-30 13:35:11.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:11.0
is a kind of Transfer2001-11-30 13:35:11.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

Kinds of Removing :