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 2391-2394 | |
(subclass ElectricTransmission RadiatingElectromagnetic) | Cars.kif 2389-2389 | |
(subclass ElectricTransmission Transfer) | Cars.kif 2388-2388 |
appearance as argument number 2 |
(subclass Charging ElectricTransmission) | Cars.kif 2403-2403 | |
(subclass Discharging ElectricTransmission) | Cars.kif 2425-2425 | |
(subclass Spark ElectricTransmission) | Cars.kif 418-418 | |
(termFormat EnglishLanguage ElectricTransmission "electric transmission") | Cars.kif 2390-2390 |
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 3163-3173 | |
(=> (instance ?EC ElectricTransmission) (exists (?E) (and (instance ?E Electricity) (objectTransferred ?EC ?E)))) |
Cars.kif 2396-2401 |
consequent |