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