[view kml]

Concept: Move-Out-Of

Superconcept: Move-Through


Component Semantics:

Move-Out-Of
Definition: change location out of an Enclosure
Required slot: object
Inherited from: Move-Through
Restriction: a Tangible-Entity
Restriction: location changes
Required slot: base
Restriction: Container
Restriction: the Enclosure
Required slot: origin
Restriction: Place
Restriction: within the Enclosure
Restriction: = original location of object
Required slot: pre-conditions
Restriction: object must not be object of a Be-Confined whose location is inside the Enclosure
Primary slot: agent
Inherited from: Move-Through
Restriction: causes object's location to change
Primary slot: destination
Restriction: Place
Restriction: outside the Enclosure
Restriction: = final location of object
Primary slot: path
Restriction: Place
Restriction: a portal of the Enclosure
Restriction: = transient location of object
WordNet 1.6 Synsets: --
WordNet 1.6 Synsets: exit#1, go_out#1, get_out#1, leave#5

Move-Out-Of is a specialization of the Move-Through component with the required base:Container slot.
Move-Into puts an object into a Be-Contained state. As well as adding the object to the content of the base of the Move-Into. Move-Out-Of takes the object out of the Be-Contained state.