(subclass ElectricTransmission Transfer) | Cars.kif 2388-2388 | Electric transmission is a subclass of transfer |
(subclass ElectricTransmission RadiatingElectromagnetic) | Cars.kif 2389-2389 | 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 2403-2403 | Charging is a subclass of electric transmission |
(subclass Discharging ElectricTransmission) | Cars.kif 2425-2425 | Discharging is a subclass of electric transmission |