Gua Fosil, rongga bawah tanah yang terbentuk ketika pergantian karbonat dan telah menjalani proses karstifikasi tetapi kemudian tertimbun. Kebanyakan gua fosil telah terisi oleh sedimen yang lebih muda. Diterjemahkan dari A Lexicon of Cave and Karst Terminology with Special Reference to Environmental Karst Hydrology (Field, 2002).