Tunnel¶
A Tunnel is a Infrastructure Element that enables travel through or underneath some obstacle or area. It may contain some Road or RailLine Segments.
IRI: https://w3id.org/citydata/part2/v1/Tunnel
Diagram¶

Formalization for Tunnel¶
| Property | Constraint |
|---|---|
| cdm1:hasProperPart | only TunnelSegment |
| cdm1:hasProperPart | only TunnelSegment |
| supports | only TravelledWaySegment |
| supports | only TravelledWaySegment |
| subClassOf | InfrastructureElement |