| (subclass ElectricTransmission Transfer) | Cars.kif 2382-2382 | Electric transmission is a subclass of transfer |
| (subclass ElectricTransmission RadiatingElectromagnetic) | Cars.kif 2383-2383 | Electric transmission is a subclass of radiating electromagnetic |
| (subclass Spark ElectricTransmission) | Cars.kif 418-418 | Spark is a subclass of electric transmission |
| (subclass Charging ElectricTransmission) | Cars.kif 2397-2397 | Charging is a subclass of electric transmission |
| (subclass Discharging ElectricTransmission) | Cars.kif 2419-2419 | Discharging is a subclass of electric transmission |
|
|