掘进量的词语属性

掘进量的百科含义

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