diamond drill


noun

a drill having a hollow, cylindrical bit set with diamonds, used for obtaining cores of rock samples.

Origin of diamond drill

First recorded in 1820–30
Dictionary.com Unabridged Based on the Random House Unabridged Dictionary, © Random House, Inc. 2019

Examples from the Web for diamond drill