Noun: graving dock
- A large dock from which water can be pumped out; used for building ships or for repairing a ship below its waterline
"The damaged vessel was towed to the graving dock for repairs";
- dry dock, drydock
Derived forms: graving docks
Type of: dock, dockage, docking facility
Part of: shipyard
Encyclopedia: Graving dock