Tunnel¶
Open interactive Tunnel diagram
Formalization for Tunnel¶
| Property | Constraint |
|---|---|
| partwhole::hasProperPart | all TunnelSegment |
| subClassOf | infrastructure::InfrastructureElement |
| subClassOf | TransportationInfrastructureOntologyThing |
| supports | all TravelledWaySegment |