гірничопромисловець —
-вця, ч. Працівник гірничої промисловості.
Великий тлумачний словник сучасної мови
гірничопромисловець —
ГІРНИЧОПРОМИСЛО́ВЕЦЬ, вця, ч., іст. Власник гірничих промислів. На початку XX ст. у працях з'їздів гірничопромисловців почали друкуватися щорічні звіти “Товариства допомоги гірничим робітникам Півдня Росії” (з наук. літ.).
Словник української мови у 20 томах