| (subclass ElectricTransmission Transfer) | Cars.kif 2365-2365 | ElectricTransmission は 移動 の subclass では %n |
| (subclass ElectricTransmission RadiatingElectromagnetic) | Cars.kif 2366-2366 | ElectricTransmission は RadiatingElectromagnetic の subclass では %n |
| (subclass Spark ElectricTransmission) | Cars.kif 418-418 | Spark は ElectricTransmission の subclass では %n |
| (subclass Charging ElectricTransmission) | Cars.kif 2380-2380 | Charging は ElectricTransmission の subclass では %n |
| (subclass Discharging ElectricTransmission) | Cars.kif 2402-2402 | Discharging は ElectricTransmission の subclass では %n |
|
|