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