Za Siedmiu Progami, Jaskinia, Wielka Wysoka Jaskinia, Jaskinia Wysoka–Za Siedmiu Progami,
krasowy system jaskiniowy w Tatrach Zachodnich, ponad górną częścią wąwozu Kraków;
Za Siedmiu Progami, Jaskinia
Encyklopedia PWN
odkryta pod koniec lat 40. XX w. przez S. Chałubińskiego; w 1981 połączona z Wysoką Jaskinią (odkryta 1954); jedna z najdłuższych i najgłębszych w Tatrach; dł. 11,7 km, deniwelacja 435 m.
