Что такое - Спелеонимы

Спелеонимы (от греч. «spēlaion» – «пещера» и «onyma» – «имя» ) — один из видов топонимов – названия пещер, гротов, пропастей, колодцев, шахт и других подземных объектов.
Изучением спелеонимов занимается спелеонимия.