Etymology
Today it means: A natural watering hole in the rock; a gnamma. Full definition →
From rock + hole.
Etymology from Wiktionary, CC BY-SA 4.0.