Miner

n.	1.
	1.	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.
	2.	(Zool.) Any of numerous insects which, in the larval state, excavate galleries in the parenchyma of leaves. They are mostly minute moths and dipterous flies. Miner's elbow (Med.) a swelling on the black of the elbow due to inflammation of the bursa over the olecranon; - so called because of frequent occurrence in miners. Miner's inch in hydraulic mining, the amount of water flowing under a given pressure in a given time through a hole one inch in diameter. It is a unit for measuring the quantity of water supplied.

Noun

1.

miner - laborer who works in a mine Synonyms: mineworker

butty, collier, desert rat, digger, dredge, dredger, driller, excavator, gold digger, gold miner, gold panner, groundhog, mineworker, navvy, prospector, sandhog, sapper, sourdough, steam shovel, tunneler