(subclass Streetcar RollingStock) | Transportation.kif 2208-2208 | Streetcar は RollingStock の subclass では %n |
(subclass Streetcar ElectrifiedRailwayCar) | Transportation.kif 2209-2209 | Streetcar は ElectrifiedRailwayCar の subclass では %n |
(subclass PCCCar Streetcar) | Transportation.kif 2214-2214 | PCCCar は Streetcar の subclass では %n |