Substituting Comparison Table

Next Transfer: Arranging Up: Transfer Previous Transfer: Removing

Substituting 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)))

Substituting The Class of Transfers where one thing is replaced with something else 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)))
Substituting	The Class of Transfers where one thing is replaced with something else	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: Arranging Up: Transfer Previous Transfer: Removing