Значение слова ПИЛКА в Новом толково-словообразовательном словаре русского языка Ефремовой

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

ж. разг.

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

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

3)

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

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

Ефремова. Новый толково-словообразовательный словарь русского языка Ефремовой.