One who mines; a digger for metals, etc.; one engaged in the business of getting ore, coal, or precious stones, out of the earth; one who digs military mines; as, armies have sappers and miners.
a person, including any operator or supervisor, who works at a mine and who is engaged in mining operations
One who mines; as (1) one engaged in the business or occupation of getting ore, coal, precious substances, or other natural substances out of the earth; (2) a machine for automatic mining (as of coal); and (3) a worker on the construction of underground tunnels and shafts (as for roads, railways, waterways).