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

Example sentences from the Web for diamond drill