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)
Origin: Mined; Mining.
1. A subterranean cavity or passage; especially: A pit or excavation in the earth, from which metallic ores, precious stones, coal, or other mineral substances are taken by digging; distinguished from the pits from which stones for architectural purposes are taken, and which are called quarries.
3. A rich source of wealth or other good. Mine dial, a form of magnetic compass used by miners. Mine pig, pig iron made wholly from ore; in [[dis 498 tinction]] from cinder pig, which is made from ore mixed with forge or mill cinder.
Origin: F, fr. LL. Mina. See Mine.