МРАВКОЛЪ̀В м. 1. Мрежокрило насекомо, чиито хищни ларви, живеещи в пясък или разпрашени почви, се хранят обикн. с мравки. Myrmeleon formicarius. Над удълженото му тяло бяха сгънати покривообразно прозрачни крила, кръстосани от много жилки. Това мрежокрило насекомо бе възрастното на мравколъва, както са нарекли този вид заради неговата ларва. М. Йосифов, НСН, 18.
2. Само мн. Зоол. Семейство мрежокрили насекоми, чиито ларви се хранят обикн. с мравки. Myrmeleontidae.