岩石钻 meaning in English

rock borer

Ore - used flameproof electrical rotary rock drills
矿用隔爆电动岩石钻
Hand - held portable power tools - measurement of vibrations at the handle - rock drills and rotary hammers
手持便携电动工具.手柄振动测量.岩石钻和旋转锤头
Just how deep the rocks had to be drilled and blasted off in order to build a highway ? here is a good example
要将岩石钻入和炸开多深才能建筑一条公路?这就是很好的例子
Hand - held portable power tools - measurement of vibrations at the handle - part 3 : rock drills and rotary hammers iso 8662 - 3 : 1992 ; german version en 28662 - 3 : 1994 a1 : 1995
便携式手持动力工具.手柄处振动测量.第3部分:岩石钻