掘进量

概述

掘进量是指坑内开采时,在采矿进行以前所开掘的各种井巷和硐室的数量。

2百科释义

掘进量是指坑内开采时,在采矿进行以前所开掘的各种井巷和硐室的数量。

9词语组词

相关词条

本词条最后更新于 2026-06-30 19:28:37