Mine, v. t. [imp. & p. p. Mined p. pr. & vb. n. Mining.]
1. To dig away, or otherwise remove, the substratum or foundation of; to lay a mine under; to sap; to undermine; hence, to ruin or destroy by slow degrees or secret means.
They mined the walls. --Hayward.
Too lazy to cut down these immense trees, the spoilers . . . had mined them, and placed a quantity of gunpowder in the cavity. --Sir W. Scott.
2. To dig into, for ore or metal.
Lead veins have been traced . . . but they have not been mined. --Ure.
3. To get, as metals, out of the earth by digging.
The principal ore mined there is the bituminous cinnabar. --Ure.
mined
adj : extracted from a source of supply as of minerals from the
earth [ant: unmined]