采矿工业 на русском горнодобывающая промышленность (сущ) др. общ. горнопромышленность ; горнорудная промышленность