辞海

释义：xiáo dǐ/de
1.古地名。也称渑池。在崤山山谷之底。古代曾设崤底关。