[view kml]

Concept: Withdraw

Superconcept: Action


Component Semantics:

Withdraw
Definition: To Withdraw an Entity from a Tangible-Entity
Required slot: object
Restriction: a Entity
Required slot: base
Restriction: a Tangible-Entity
Required slot: pre-conditions
Restriction: object is the object of a Be-Stored State. base is the base of the same Be-Stored State.
Restriction: object is one of the contents of the base.
Required slot: post-conditions
Restriction: object is removed from Be-Stored State. The base is also removed from the same Be-Stored State.
Restriction: object is no longer one of the contents of the base.
Primary slot: agent
Restriction: causes object to be withdrawn from the base
Primary slot: instrument
Restriction: a Entity
Restriction: used in Withdrawning the object
WordNet 1.6 Synsets: withdraw#9
WordNet 1.6 Synsets: draw#14, take_out#2, take_out#6, take_out#8, unpack#1

To Withdraw is to cause the object to be removed from the base. In other words, both the object and the base are no longer in a Be-Stored State, and the base no longer contains the object.