❶ 矿山工人;尤指采矿的工人。
英 miner; mine worker; pitman; (TTcX.nET)
❶ 开矿的工人。
引 吴运铎 《把一切献给党·劳动的开端》:“矿工们冒着生命危险,从敌人手里夺回烈士的遗体,连夜送到七十里以外的 醴陵 去。” (tTCx.net)
❶ 采矿的工人。
例 如:「他是一名矿工。」
开矿的工人。