Значение слова МУРАВЕЛЬНИК в Толковом словаре Ефремовой

Что такое МУРАВЕЛЬНИК

муравельник

м. местн.

То же, что: муравейник (1*).

Ефремова. Толковый словарь Ефремовой.