mining . 1. f. art of laborear mine. 2. f. set of individuals who are engaged in this work. 3. f. Group of physicians who understand as soon as that work is concerned. 4. f. mines and mining of a nation or region as a whole.