Graving

Chamber's Twientieth Century Dictionary · 1908 · p. 45

grāv′ing, n. an act of graving or cutting out on hard substances: that which is graved or cut out: carved-work: act of cleaning a ship's bottom.— n. Grav′ing-dock , a dock into which ships are taken to have their bottoms cleaned.