«لغت نامه دهخدا»
[تَ فَنْ نی] (اِخ) دهی از دهستان بالاگریوه است که در بخش ملاوی شهرستان خرم آباد واقع است و 270 تن سکنه دارد. (از فرهنگ جغرافیایی ایران ج6).