一种在采矿中用来挖掘矿井时在石头上打孔的工具

• a rock-boring tool used in mining for sinking shafts