n. [ See Mine, v. i. ] The act or business of making mines or of working them. [ 1913 Webster ]
a. Of or pertaining to mines; as, mining engineer; mining machinery; a mining region. [ 1913 Webster ]
Mining engineering. See the Note under Engineering. [ 1913 Webster ]