Dictionary entry

Mining

Webster's Dictionary 1913

Min″ing (?), n. [See Mine, v. i.] The act or business of making mines or of working them.