Definitions

1. noun

a person who extracts valuable minerals or other substances from the earth, typically underground

“The miner worked in the coal mine for over 20 years.”

2. verb

to extract valuable minerals or other substances from the earth, typically underground

“The company will mine for gold in the new excavation.”

3. verb

to obtain or extract something from a particular source or situation

“The team mined their data to find the best strategy.”