Mining as defined by Chambers English Dictionary;
mine2 noun 1 often in compounds an opening or excavation in the ground, used to remove minerals, metal ores, coal, etc, from the Earth's crust • coalmine • goldmine. 2 sometimes in compounds an explosive device that is placed just beneath the ground surface or in water, designed to destroy tanks, ships, etc, when detonated • land-mine. 3 a rich source • He's a mine of information. 4 an excavation dug underneath a military position, fortification, etc to enter or undermine it, blow it up, etc. verb (mined, mining) 1 tr & intr to dig for (minerals, etc) • They mine gold in those hills. 2 (also mine somewhere for something) to dig (a particular area) in order to extract minerals, etc • started mining the western bay in the 50s for gold. 3 to lay exploding mines in (land or water) • The beach has been mined. 4 to destroy something with exploding mines • Our ship was mined. miner noun, often in compounds someone who mines or works in a mine, especially a coal mine • coalminer • goldminer. mining noun 1 the act or process of extracting minerals, etc from the ground. 2 the act or process of laying mines. ETYMOLOGY: 14c: French, from miner to mine.