- miner, mineworker - laborer who works in a mine
--1 is a kind of laborer, manual laborer, labourer, jack
--1 has particulars:coal miner, collier, pitman; gold miner, gold digger, gold panner; placer miner; prospector; strip miner Derived form: verb mine1