*意味 [#dab05039] *英語 [#g644a80e] [[thickness of tunnel lining]] *仏語 [#f3f2c5c8] [[epaisseur de revêtement]] *独語 [#w95470cf] [[Auskleidungsdicke]] *関連用語 [#w840e97e] &tag(巻き厚, 覆工); #enull{{ &tag(マ); }}