石灰岩被含有碳酸气的水溶解、侵蚀后所形成的天然山洞。