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

Putting comparison table
Subject documentation is a kind of have axiom
TransferAny instance of Motion where the agent of the Motion and the patient of the Motion are not the same thingMotion
(instance ?TRANSFER Transfer)
(equal ?AGENT ?PATIENT)))
PuttingThe Class of Processes where something is put in a location. Note that the location is specified with the CaseRole destinationTransfer
(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)))))

Next TransferRemoving    UpTransfer    Previous TransferImpelling