Resource Dictionary

Diamond drill

A rotary type of rock drill that cuts a core of rock that is recovered in long cylindrical sections, two cm or more in diameter.