| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2382-2382 | ElectricTransmission 是 转移 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2383-2383 | ElectricTransmission 是 辐射电磁 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 418-418 | Spark 是 ElectricTransmission 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2397-2397 | Charging 是 ElectricTransmission 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2419-2419 | Discharging 是 ElectricTransmission 的 subclass |
|
|