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

Removing comparison table
Subject documentation is a kind of be second domain of be first domain of have axiom
CleaningThe Class of Processes where undesirable Substances and/or Microorganisms are removed from an ObjectRemovingsubProcesspath
(=>
    (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)))))

Next Transfer: Substituting    Up: Transfer    Previous Transfer: Putting