noun · a hammer drill or chisel used for boring through rock

矿工们正用钎子在坚硬的岩石上凿洞。