Webster's Revised Unabridged Dictionary · 1913

Mining

Mining , noun

[See Mine, v. i.]

The act or business of making mines or of working them.

Mining , adjective

Of or pertaining to mines; as, mining engineer; mining machinery; a mining region.
Collocations (1)
Mining engineering , See the Note under Engineering.