TunnelSegment¶
Open interactive TunnelSegment diagram
Formalization for TunnelSegment¶
| Property | Constraint |
|---|---|
| subClassOf | infrastructure::InfrastructureElement |
| subClassOf | TransportationInfrastructureOntologyThing |
| supports | all TravelledWaySegment |
Used by classes¶
| Class | Property |
|---|---|
| Tunnel (TransportationInfrastructure) | partwhole::hasProperPart |