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.
- One whose work or business it is to extract ore or minerals from the earth.
- A machine for the automatic extraction of minerals, especially of coal.
- A soldier, often a specialist, engaged in mining operations.
- Zoology A leaf miner.