Hypertext Webster Gateway: "undock"
From Webster's Revised Unabridged Dictionary (1913) (web1913)
Undock \Un*dock"\, v. t. [1st pref. un- + dock.] (Naut.)
To take out of dock; as, to undock a ship.
From WordNet (r) 1.7 (wn)
undock
v 1: move out of a dock; "We docked at noon" [ant: {dock}]
2: take out of a dock; "undock the ship" [ant: {dock}]
Additional Hypertext Webster Gateway Lookup
Gateway by dict@stokkie.net
stock only wrote the gateway and does not have any control over the contents;
see the Webster Gateway FAQ,
and also the Back-end/database links and credits.