miner: значение и определения

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.