Tunnel

Open interactive Tunnel diagram

Formalization for Tunnel

Property	Constraint
cdm1:hasProperPart	all TunnelSegment
subClassOf	InfrastructureElement
supports	all TravelledWaySegment