Motion concept from the SUMO knowledge base

Next Process: NonintentionalProcess Up: Process Previous Process: IntentionalProcess

Motion

subject fact

Motion documentation Any Process of movement 2001-11-30 13:34:46.0
has axiom
(=>
(and
(instance ?MOTION Motion)
(patient ?MOTION ?OBJ)
(origin ?MOTION ?PLACE))
(holdsDuring (ImmediatePastFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
has axiom
(=>
(and
(instance ?MOTION Motion)
(patient ?MOTION ?OBJ)
(destination ?MOTION ?PLACE))
(holdsDuring (ImmediateFutureFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
2001-11-30 13:34:46.0
is first domain of path
is a kind of Process

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

Kinds of Motion :

BodyMotion (3 kinds, 9 facts) - Any Motion where the patient is a BodyPart
DirectionChange (3 facts) - The act of changing the direction in which the patient of the act is oriented
Transfer (7 kinds, 22 facts) - Any instance of Motion where the agent of the Motion and the patient of the Motion are not the same thing
Transportation (4 facts) - Motion from one point to another by means of a TransportationDevice

Motion	*documentation* Any Process of movement
	has axiom (=> (and (instance ?MOTION Motion) (patient ?MOTION ?OBJ) (origin ?MOTION ?PLACE)) (holdsDuring (ImmediatePastFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
	has axiom (=> (and (instance ?MOTION Motion) (patient ?MOTION ?OBJ) (destination ?MOTION ?PLACE)) (holdsDuring (ImmediateFutureFn (WhenFn ?MOTION)) (located ?OBJ ?PLACE)))
	*is first domain* of** path
	is a kind of Process
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