| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2388-2388 | ElectricTransmission 是 转移 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2389-2389 | 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 2403-2403 | Charging 是 ElectricTransmission 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2425-2425 | Discharging 是 ElectricTransmission 的 subclass |
|
|