(subclass ElectrifiedRailwayCar RollingStock) | Transportation.kif 2165-2165 | ElectrifiedRailwayCar は RollingStock の subclass では %n |
(subclass ElectrifiedRailwayCar PoweredVehicle) | Transportation.kif 2166-2166 | ElectrifiedRailwayCar は PoweredVehicle の subclass では %n |
(subclass ElectrifiedRailwayCar ElectricDevice) | Transportation.kif 2167-2167 | ElectrifiedRailwayCar は ElectricDevice の subclass では %n |
(subclass Streetcar ElectrifiedRailwayCar) | Transportation.kif 2209-2209 | Streetcar は ElectrifiedRailwayCar の subclass では %n |