1. One whose work or business it is to extract ore or minerals from the earth.

2. A machine for the automatic extraction of minerals, especially of coal.

3. A soldier, often a specialist, engaged in mining operations.

4. Zoology A leaf miner.