| 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 2399-2402 | |
| (subclass ElectricTransmission RadiatingElectromagnetic) | Cars.kif 2397-2397 | |
| (subclass ElectricTransmission Transfer) | Cars.kif 2396-2396 |
| appearance as argument number 2 |
|
|
| (subclass Charging ElectricTransmission) | Cars.kif 2411-2411 | |
| (subclass Discharging ElectricTransmission) | Cars.kif 2433-2433 | |
| (subclass Spark ElectricTransmission) | Cars.kif 418-418 | |
| (termFormat EnglishLanguage ElectricTransmission "electric transmission") | Cars.kif 2398-2398 |
| 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 Volt ?N1))) (approximateValue ?N1 12)) |
Cars.kif 3169-3179 | |
| (=> (instance ?EC ElectricTransmission) (exists (?E) (and (instance ?E Electricity) (objectTransferred ?EC ?E)))) |
Cars.kif 2404-2409 |
| consequent |
|
|
| (=> (instance ?E Electrolyte) (hasPurpose ?E (exists (?ET) (and (instance ?ET ElectricTransmission) (patient ?ET ?E) (holdsDuring ?ET (attribute ?E Liquid)))))) |
Cars.kif 2516-2524 | |
| (=> (instance ?IC IgnitionCoil) (hasPurpose ?IC (exists (?E1 ?E2 ?P) (and (instance ?P ElectricTransmission) (resource ?P ?E1) (instance ?E1 Electricity) (instance ?E2 Electricity) (result ?P ?E2) (instrument ?P ?IC))))) |
Cars.kif 3157-3167 | |
| (=> (instance ?IC IgnitionCoil) (hasPurpose ?IC (exists (?P ?S) (and (instance ?P ElectricTransmission) (instrument ?P ?IC) (instance ?S Spark) (causes ?P ?S))))) |
Cars.kif 3181-3189 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners