graving dock, n.
a large dock from which water can be pumped out; used for building ships or for repairing a ship below its waterline
<noun.artifact>
dry dock drydock graving dock
semantic pointers
hypernym
part holonym
hyponym