n.
Function: verb
Inflected Form: 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 mine s 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 in
intransitive verb : to dig a mine
– min · er noun