Dictionary
min•ing
Pronunciation: (mī'ning), [key]—
n.
1. the act, process, or industry of extracting ores, coal, etc., from mines.
2. the laying of explosive mines.
Random House Unabridged Dictionary, Copyright © 1997, by Random House, Inc., on Infoplease.