Nevének eredete

A barlang neve: Baradla-barlang vagy teljes néven Baradla-Domica-barlangrendszer. Hosszabb nevét onnan kapta, hogy a Szlovákiába átnyúló kb. 8 km-es részét Domica-barlangnak hívják.

Maga a Baradla név feltehetően a szláv eredetű "bradlo" szóból származik, melynek jelentése sziklaszirt, sziklás meredek hegy (Dénes 1960.). A bradlo, melynek a többes száma a bradla, egy ma is használatos kifejezés és egyben élő földrajzi név is Szlovákiában. Korábban az Aggteleki-barlang név is használatos volt, ekkor a barlang szó gyakran kiegészült a cseppkő kifejezéssel, és ekkor Aggteleki-cseppkőbarlangként jelent meg. Ezt a nevet ma már nem használjuk.