坑口と坑門（こうもん）の区別は悩ましいところです。英語の entranceと portalも同様です。イメージ的には坑口は単なる入口、特に工事中の入口で坑門というと門構えがあって外形的な意匠も含むようです。実際には同義に用いられることも多いような気がします。坑口付近は、いろいろと問題が多くて、そういう区間を坑口部として区別し、支保工（しほこう）とか覆工（ふっこう）も頑丈なものになります。
entrance
坑口 坑門 支保工 覆工 坑口部
![[PukiWiki]](image/header_logo.gif "[PukiWiki]"){kind=logo}
