1. One whose work or business it is to extract ore or minerals from the earth.
2. A machine for the automatic extraction of minerals, especially of coal.
3. A soldier, often a specialist, engaged in mining operations.
4. Zoology A leaf miner.
The American Heritage® Dictionary of the English Language, Fifth Edition copyright ©2022 by HarperCollins Publishers. All rights reserved.
Indo-European & Semitic Roots Appendices
Thousands of entries in the dictionary include etymologies that trace their origins back to reconstructed proto-languages. You can obtain more information about these forms in our online appendices:
The Indo-European appendix covers nearly half of the Indo-European roots that have left their mark on English words. A more complete treatment of Indo-European roots and the English words derived from them is available in our Dictionary of Indo-European Roots.