Значение слова ШАХТЕР в Словаре русского языка Ожегова

Что такое ШАХТЕР

горнорабочий, работающий в шахтах День шахтера (праздник советских шахтеров).

Ожегов. Словарь русского языка Ожегова.