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

Так, попробую без Гугла. Кажется, спелеолог - это тот, кто исследует пещеры, тогда спелеонимы - это должны быть какие-нибудь специфические термины из словаря спелеологов..)) ) Как-то странно. Сейчас посмотрим в инете.
Спелеонимы (от греч. «spēlaion» – «пещера» и «onyma» – «имя» ) — один из видов топонимов – названия пещер, гротов, пропастей, колодцев, шахт и других подземных объектов.
Изучением спелеонимов занимается спелеонимия.
Ух ты! И впрямь угадала! Да я не безнадежна..)))