Значение слова ПИЛКА в Толковом словаре Ефремовой

Что такое ПИЛКА

пилка

ж. разг.

1) Процесс действия по знач. глаг.: пилить (1).

2) Маленькая ручная пила.

3) а) Маленький напильник.

б) Маникюрный инструмент для ухода за ногтями.

Ефремова. Толковый словарь Ефремовой.