Putting Comparison Table

Next Transfer: Removing Up: Transfer Previous Transfer: Impelling

Putting comparison table

Subject documentation is a kind of have axiom

Transfer Any instance of Motion where the agent of the Motion and the patient of the Motion are not the same thing Motion
(=>
(and
(instance ?TRANSFER Transfer)
(agent ?TRANSFER ?AGENT)
(patient ?TRANSFER ?PATIENT))
(not
(equal ?AGENT ?PATIENT)))

Putting The Class of Processes where something is put in a location. Note that the location is specified with the CaseRole destination Transfer
(=>
(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)))))

Subject	documentation	is a kind of	have axiom
Transfer	Any instance of Motion where the agent of the Motion and the patient of the Motion are not the same thing	Motion	(=> (and (instance ?TRANSFER Transfer) (agent ?TRANSFER ?AGENT) (patient ?TRANSFER ?PATIENT)) (not (equal ?AGENT ?PATIENT)))
Putting	The Class of Processes where something is put in a location. Note that the location is specified with the CaseRole destination	Transfer	(=> (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: Removing Up: Transfer Previous Transfer: Impelling