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