Noun: rock drill rók dril
- A drill for penetrating rock
"The construction crew employed a powerful rock drill to break through the granite";
- bore bit, borer, stone drill
Derived forms: rock drills
Type of: drill
Encyclopedia: Rock drill