Main Entry: ⁴mine

Function: verb

Inflected Form(s): mined; min·ing

Date: 14th century

transitive verb 1 a : to dig under to gain access or cause the collapse of (an enemy position) b : undermine
2 a : to get (as ore) from the earth b : to extract from a source <information mined from the files>
3 : to burrow beneath the surface of <larva that mines leaves>
4 : to place military mines in, on, or under <mine a harbor>
5 a : to dig into for ore or metal b : to process for obtaining a natural constituent <mine the air for nitrogen> c : to seek valuable material inintransitive verb : to dig a mine

— min·er noun