(subclass ParkingRegion Region) | TransportDetail.kif 31-31 | ParkingRegion è una sottoclasse di Regione |
(subclass DisabledParking ParkingRegion) | TransportDetail.kif 44-44 | DisabledParking è una sottoclasse di ParkingRegion |
(subclass StreetParking ParkingRegion) | TransportDetail.kif 61-61 | StreetParking è una sottoclasse di ParkingRegion |