ภูกระดึง phuu-grà-dʉng Substantiv Phu Kradueng, ein Landkreis der Provinz Loei, Thailand; auch der Name eines dortigen Bergplateaus