ГІРНИЧОДОБУВНИЙ, а, е. Стос. до видобування корисних копалин. Шахти і рудники Донецького вугільного, Криворізького залізорудного.. та інших гірничодобувних районів [в роки інтервенції та громадянської війни] були майже цілком зруйновані і затоплені водою (Розв. науки в УРСР.., 1957, 402).