dug or extracted from a mine, mineral; noun, masculine mineral