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