坑冶

【意思解释】1.唐宋以来称金属矿藏的开采与冶炼。亦泛指矿藏。