Значение слова МИНА в Толковом словаре русского языка Ушакова

Что такое МИНА

мины, ж. (фр. mine – мина, руда) (спец.). Карандашный стерженек. Карандаш состоит из мины, заключенной в деревянную оболочку. Графитная мина. Цветная мина.

Ушаков. Толковый словарь русского языка Ушакова.