(subclass ParkingRegion Region) | TransportDetail.kif 31-31 | Parking area is a subclass of region |
(subclass DisabledParking ParkingRegion) | TransportDetail.kif 44-44 | Disabled parking is a subclass of parking area |
(subclass StreetParking ParkingRegion) | TransportDetail.kif 61-61 | Street parking is a subclass of parking area |