(subclass ParkingRegion Region) | TransportDetail.kif 31-31 | ParkingRegion は 地域 の subclass では %n |
(subclass DisabledParking ParkingRegion) | TransportDetail.kif 44-44 | DisabledParking は ParkingRegion の subclass では %n |
(subclass StreetParking ParkingRegion) | TransportDetail.kif 61-61 | StreetParking は ParkingRegion の subclass では %n |