n. a workplace consisting of a coal mine plus all the buildings and equipment connected with it
n. 煤矿[建] 煤井, 煤矿