Двор рудничный
Двор рудни́чный
Совокупность горных выработок около шахтного ствола, предназначенных для обслуживания подземного хозяйства и соединяющих ствол с главными откаточными и вентиляционными выработками (см. Околоствольный двор).
Источник:
Большая советская энциклопедия
на Gufo.me