| 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 3205-3209 | |
| (subclass AutomobileIgnitionSystem PhysicalSystem) | Cars.kif 3203-3203 | Automobile ignition system is a subclass of physical system |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AutomobileIgnitionSystem "automobile ignition system") | Cars.kif 3204-3204 | |
| (typicalPart IgnitionControlModule AutomobileIgnitionSystem) | Cars.kif 3211-3211 | A ignition control module is typically a part of a automobile ignition system |
| (typicalPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3214-3214 | A spark plug is typically a part of a automobile ignition system |
| (typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) | Cars.kif 3212-3212 | A automobile ignition system typically has a part ignition control module |
| (typicallyContainsPart SparkPlug AutomobileIgnitionSystem) | Cars.kif 3215-3215 | A automobile ignition system typically has a part spark plug |
|
|
|