Arranging concept from the SUMO knowledge base

Next Transfer: Impelling Up: Transfer Previous Transfer: Substituting

Arranging

subject fact

Arranging documentation The Class of IntentionallyCausedProcesses where the order of Objects in a Collection is altered 2001-11-30 13:33:38.0
is a kind of Transfer

Transfer has axiom
(=>
(and
(instance ?TRANSFER Transfer)
(agent ?TRANSFER ?AGENT)
(patient ?TRANSFER ?PATIENT))
(not
(equal ?AGENT ?PATIENT)))
2001-11-30 13:35:28.0

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

Arranging	*documentation* The Class of IntentionallyCausedProcesses where the order of Objects in a Collection is altered
Arranging	is a kind of Transfer
Transfer	has axiom (=> (and (instance ?TRANSFER Transfer) (agent ?TRANSFER ?AGENT) (patient ?TRANSFER ?PATIENT)) (not (equal ?AGENT ?PATIENT)))
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