No TPTP formula. May not be expressible in strict first order. | Cars.kif 2382-2382 | ElectricTransmission e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2383-2383 | ElectricTransmission e' uma sub-classe de RadiatingElectromagnetic |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 418-418 | Spark e' uma sub-classe de ElectricTransmission |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2397-2397 | Charging e' uma sub-classe de ElectricTransmission |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2419-2419 | Discharging e' uma sub-classe de ElectricTransmission |