agg. relativo alle miniere e ai minerali da esse estratti: produzione mineraria ; giacimento minerario.