ElectricTransmission |
appearance as argument number 1 |
(documentation ElectricTransmission EnglishLanguage "The movement of a electric potential (modeled as a Substance) from one point to another necessarily through a conductive medium (although the degree of conductivity may be quite low, as in Lightning through Air).") | Cars.kif 2385-2388 | |
(subclass ElectricTransmission RadiatingElectromagnetic) | Cars.kif 2383-2383 | ElectricTransmission 是 辐射电磁 的 subclass |
(subclass ElectricTransmission Transfer) | Cars.kif 2382-2382 | ElectricTransmission 是 转移 的 subclass |
appearance as argument number 2 |
(subclass Charging ElectricTransmission) | Cars.kif 2397-2397 | Charging 是 ElectricTransmission 的 subclass |
(subclass Discharging ElectricTransmission) | Cars.kif 2419-2419 | Discharging 是 ElectricTransmission 的 subclass |
(subclass Spark ElectricTransmission) | Cars.kif 418-418 | Spark 是 ElectricTransmission 的 subclass |
(termFormat EnglishLanguage ElectricTransmission "electric transmission") | Cars.kif 2384-2384 |
antecedent |
(=> (and (instance ?IC IgnitionCoil) (instance ?P ElectricTransmission) (resource ?P ?E1) (instance ?E1 Electricity) (instance ?E2 Electricity) (result ?P ?E2) (instrument ?P ?IC) (measure ?E1 (MeasureFn ?N1 Volt))) (approximateValue ?N1 12)) |
Cars.kif 3155-3165 | |
(=> (instance ?EC ElectricTransmission) (exists (?E) (and (instance ?E Electricity) (objectTransferred ?EC ?E)))) |
Cars.kif 2390-2395 |
|
consequent |