SUMO   View all facts   Glossary   Help
Entity > Physical > Process > Motion > Transfer > Removing > Cleaning
Up: Removing

Cleaning
subjectfact 
Cleaningdocumentation The Class of Processes where undesirable Substances and/or Microorganisms are removed from an Object2001-11-30 13:33:51.0
is a kind of Removing2001-11-30 13:33:51.0
Removinghas 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
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