minar—Escavar ou facer galerías no chan para extraer minerais ou abrir unha mina.