ГРИБО́ЕДЫ, семейство жуков. Дл. 2-6 мм. Ок. 200 видов. Живут в грибах и гнилой древесине; питаются гл. обр. мицелием (грибницей).
Значение слова ГРИБОЕДЫ в Большом российском энциклопедическом словаре
Что такое ГРИБОЕДЫ
Большой российский энциклопедический словарь. 2012