(subclass ElectricTransmission Transfer) | Cars.kif 2382-2382 | ElectricTransmission は 移動 の subclass では %n |
(subclass ElectricTransmission RadiatingElectromagnetic) | Cars.kif 2383-2383 | ElectricTransmission は RadiatingElectromagnetic の subclass では %n |
(subclass Spark ElectricTransmission) | Cars.kif 418-418 | Spark は ElectricTransmission の subclass では %n |
(subclass Charging ElectricTransmission) | Cars.kif 2397-2397 | Charging は ElectricTransmission の subclass では %n |
(subclass Discharging ElectricTransmission) | Cars.kif 2419-2419 | Discharging は ElectricTransmission の subclass では %n |