معنی بادس بادس (دِ) ابن حیوس. فرزند حیوس صنهاجی، از امرای اندلس بود که بناهای شهر اغرناطه در زمان او آباد و تکمیل شد و این شهر در روزگار انقلاب اندلس ضد اعراب احداث شد. (از الحلل السندسیه ج 1 ص 129) لغت نامه دهخدا
