Definition of district
i. In the States and Territories of the United States west of the Missouri River (prior to 1880), a vaguely bounded and temporary division and organization made by the inhabitants of a mining region.
ii. A limited area of underground workings.
Ref: Nelson
iii. A coal mine is generally divided into sections or districts for purposes of ventilation and daily supervision.
Ref: Nelson
iv. An underground section of a coal mine served by its own roads and ventilation ways; a section of a coal mine.
Ref: CTD
ii. A limited area of underground workings.
Ref: Nelson
iii. A coal mine is generally divided into sections or districts for purposes of ventilation and daily supervision.
Ref: Nelson
iv. An underground section of a coal mine served by its own roads and ventilation ways; a section of a coal mine.
Ref: CTD