- dry dock, drydock, graving dock - a large dock from which water can be pumped out; used for building ships or for repairing a ship below its waterline
--1 is a kind of dock, dockage, docking facility
--1 is a part of shipyard
--1 has particulars: floating dock, floating dry dock