Where does “mravčí” come from?

mravčí (Slovak) comes from Slovak mravec, from Proto-Slavic morvъ, from Proto-Balto-Slavic *marwís, from Proto-Indo-European morwís — ant.

mravčí (Slovak): ant