()是形成地下煤矿生产系统的井巷、硐室、装备、地面建筑等的总称。
出自:采矿工程师