Der Name der Mammuthöhle stammt nicht vom tierischen Begriff Mammut ab. Mammut bezieht sich auf die Größe der Höhle.