資源に関連する様々な用語について。
坑内掘
坑内掘とは鉱床における採掘方法の1つであり、露天堀と同じく世界で広く採用されている。
地中深くにある鉱石を掘り出すために、地上から穴を掘り、坑道を作って鉱石を運ぶ。
露天堀で採掘が行われた後に坑内掘に移行する事も多い。