لغتنامه دهخدا
ابراهیم . [ اِ ] (اِخ ) (مولی السید...) پدر او یکی از بزرگان اولیاء و اصلاً ایرانی بود و بقریه ای نزدیک اماسیه انتقال کرده بود. سلطان بایزید دوم در جوانی خویش بصحبت او نائل شد و از او کرامات دید. ابراهیم ابتدا در زاویه و خانقاه پدر خویش پرورش یافت و سپس برای تحصیل علم به بروس