لغت نامه دهخدا
امام زاده ابراهیم. [اِ دَ / دِ اِ ] ( اِخ ) دهی است از دهستان کنار رودخانه شهرستان گلپایگان، واقع در 9 هزارگزی شمال گلپایگان، کنار راه شوسه خمین به گلپایگان. در جلگه واقع شده و گرمسیر است. 17 تن سکنه دارد. آب آن از قنات تأمین میشود. محصولش غلات و لبنیات و شغل اهالی زراعت و گله داری است. ( از فرهنگ جغرافیایی ایران ج 6 ).
امام زاده ابراهیم. [ اِ دَ / دِ اِ ] ( اِخ ) امام زاده ای است در شهر آمل مازندران، واقع در محله گرجی که بسیار مورد احترام است. سلسله نسب وی ابراهیم بن امام موسی کاظم بن ابوجعفربن محمدتقی بن امام رضا است. ( از ترجمه سفرنامه مازندران و استراباد رابینو، ص 61 و 63 ). و رجوع به همین کتاب شود.