(subclass RailTransportationSystem TransitSystem) | Transportation.kif 2070-2070 | RailTransportationSystem è una sottoclasse di TransitSystem |
(subclass SubwaySystem RailTransportationSystem) | Transportation.kif 318-318 | SubwaySystem è una sottoclasse di RailTransportationSystem |
![]() |