|
|
   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 | 子類 ElectricTransmission and 輻射電磁 |
| (subclass ElectricTransmission Transfer) | Cars.kif 2388-2388 | 子類 ElectricTransmission and Transfer |
| appearance as argument number 2 |
|
|
| (subclass Charging ElectricTransmission) | Cars.kif 2403-2403 | 子類 Charging and ElectricTransmission |
| (subclass Discharging ElectricTransmission) | Cars.kif 2425-2425 | 子類 Discharging and ElectricTransmission |
| (subclass Spark ElectricTransmission) | Cars.kif 418-418 | 子類 Spark and ElectricTransmission |
| (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 |
|
|
|
|
|