| AutomobileIgnitionSystem(automobile ignition system) | | ignition, ignition_system |
| 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 | Automobile ignition system is a subclass of physical system |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutomobileIgnitionSystem "automobile ignition system") | Cars.kif 3256-3256 | |
| (typicalPart IgnitionControlModule AutomobileIgnitionSystem) | Cars.kif 3263-3263 | A ignition control module is typically a part of a automobile ignition system |
| (typicalPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3266-3266 | A spark plug is typically a part of a automobile ignition system |
| (typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) | Cars.kif 3264-3264 | A automobile ignition system typically has a part ignition control module |
| (typicallyContainsPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3267-3267 | A automobile ignition system typically has a part spark plug |
|
|
|