n. 25B6; noun
a coal mine : PIT, excavation, quarry, workings, diggings; strip mine; Brit. opencast mine; N. Amer. open-pit mine.
a mine of information : RICH SOURCE, repository, store, storehouse, reservoir, gold mine, treasure house, treasury, reserve, fund, wealth, stock.
he was killed by a mine. : See list at bomb .
25B6; verb
the iron ore was mined from shallow pits : QUARRY, excavate, dig (up), extract, remove; strip-mine.
medical data was mined for relevant statistics : SEARCH, delve into, scour, scan, read through, survey.
the entrance to the harbour had been mined : DEFEND WITH MINES, lay with mines.