لغت نامه دهخدا ماندی محله. [ م َ ح َل ْ ل ِ ] ( اِخ ) دهی از دهستان گیلخوران است که در بخش مرکزی شهرستان شاهی واقع است و 200 تن سکنه دارد. ( از فرهنگ جغرافیایی ایران ج 3 ).
