|
|
   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 2368-2371 | |
| (subclass ElectricTransmission RadiatingElectromagnetic) | Cars.kif 2366-2366 | ElectricTransmission e' uma sub-classe de RadiatingElectromagnetic |
| (subclass ElectricTransmission Transfer) | Cars.kif 2365-2365 | ElectricTransmission e' uma sub-classe de Transferencia |
| appearance as argument number 2 |
|
|
| (subclass Charging ElectricTransmission) | Cars.kif 2380-2380 | Charging e' uma sub-classe de ElectricTransmission |
| (subclass Discharging ElectricTransmission) | Cars.kif 2402-2402 | Discharging e' uma sub-classe de ElectricTransmission |
| (subclass Spark ElectricTransmission) | Cars.kif 418-418 | Spark e' uma sub-classe de ElectricTransmission |
| (termFormat EnglishLanguage ElectricTransmission "electric transmission") | Cars.kif 2367-2367 |
| 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 3140-3150 |
|
| (=> (instance ?EC ElectricTransmission) (exists (?E) (and (instance ?E Electricity) (objectTransferred ?EC ?E)))) |
Cars.kif 2373-2378 |
|
| consequent |
|
|
|
|
|