| (subclass ElectrifiedRailwayCar RollingStock) | Transportation.kif 2165-2165 | ElectrifiedRailwayCar est une sous-classe de RollingStock |
| (subclass ElectrifiedRailwayCar PoweredVehicle) | Transportation.kif 2166-2166 | ElectrifiedRailwayCar est une sous-classe de PoweredVehicle |
| (subclass ElectrifiedRailwayCar ElectricDevice) | Transportation.kif 2167-2167 | ElectrifiedRailwayCar est une sous-classe de ElectricDevice |
| (subclass Streetcar ElectrifiedRailwayCar) | Transportation.kif 2209-2209 | Streetcar est une sous-classe de ElectrifiedRailwayCar |
|
|