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

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

ж. разг. 1. процесс действия по гл. пилить 1. 2. Маленькая ручная пила. 3. Маленький напильник. отт. Маникюрный инструмент для ухода за ногтями.

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