| AutomobileIgnitionSystem | |
| appearance as argument number 1 |
|
|
| (documentation AutomobileIgnitionSystem EnglishLanguage "The system of an Automobile that is responsible for taking power from the Battery, increasing its voltage and sending it, with the appropriate timing, to the SparkPlugs so that sparks ignite the FuelVapor in the CombustionChambers of the Engine.") | Cars.kif 3257-3261 | |
| (subclass AutomobileIgnitionSystem PhysicalSystem) | Cars.kif 3255-3255 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutomobileIgnitionSystem "automobile ignition system") | Cars.kif 3256-3256 | |
| (typicalPart IgnitionControlModule AutomobileIgnitionSystem) | Cars.kif 3263-3263 | |
| (typicalPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3266-3266 | |
| (typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) | Cars.kif 3264-3264 | |
| (typicallyContainsPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3267-3267 |
|
|
|