Webster
✕

Webster’s Revised Unabridged Dictionary · 1913

Mining

Min′ing (mīn′ĭng), n. [See Mine, v. i.] The act or business of making mines or of working them.

Min′ing, a. Of or pertaining to mines; as, mining engineer; mining machinery; a mining region.

Mining engineering. See the Note under Engineering.

Webster’s Revised Unabridged Dictionary, Noah Porter, editor (Springfield, Mass.: G. & C. Merriam, 1913). Public domain. Text as transcribed by MICRA, Inc., from Project Gutenberg. Changed for Deep Dive Bible: Greek, which our source spelled in Latin letters, set in Greek letters; entries of one spelling merged into one article; Greek words our source left out (shown as “?”), read from the 1898 printing, from the same plates (the Library of Congress’s copy), where the place could be found with certainty. Of the others, 1,362 (a word or a single letter each) were inferred by AI from the context by the dictionary’s own rules and are marked with a wavy underline (tap or point at one to see the note); the rest, which could not be inferred with confidence, are left as “?”.