⒈ 石洞。
引北魏 酈道元 《水經注·汶水》：“古者帝王升封，咸憩此水，水上往往有石竅存焉，蓋古設舍所跨處也。”《英烈傳》第七五回：“戴壽 因看山勢，南有 赤甲山，北有 羊角山，彼此相望，便把兩山分開石竅，用鐵索子萬條相連，橫截關口。”