minar—Excavar o remover material (terra, rocca) per obtener minerales o crear un mina.