Substituting concept from the SUMO knowledge base

Next Transfer: Arranging Up: Transfer Previous Transfer: Removing

Substituting

subject fact

Substituting documentation The Class of Transfers where one thing is replaced with something else 2001-11-30 13:35:21.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:21.0
is a kind of Transfer

Motion is first domain of path 2001-11-30 13:34:46.0

Process is second domain of causes 2001-11-30 13:35:04.0
is second domain of inhibits
is second domain of precondition
is second domain of prevents
is second domain of subProcess

Substituting	*documentation* The Class of Transfers where one thing is replaced with something else
	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)))))
	is a kind of Transfer
Motion	*is first domain* of** path
Process	*is second domain* of** causes
	*is second domain* of** inhibits
	*is second domain* of** precondition
	*is second domain* of** prevents
	*is second domain* of** subProcess