Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AutomobileIgnitionSystem
AutomobileIgnitionSystem(automobile ignition system)

appearance as argument number 1
-------------------------


(subclass AutomobileIgnitionSystem PhysicalSystem) Cars.kif 3273-3273 Automobile ignition system is a subclass of physical system
(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 3275-3279 Automobile ignition system is a subclass of physical system

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage AutomobileIgnitionSystem "automobile ignition system") Cars.kif 3274-3274
(typicalPart IgnitionControlModule AutomobileIgnitionSystem) Cars.kif 3281-3281 A ignition control module is typically a part of a automobile ignition system
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) Cars.kif 3282-3282 A automobile ignition system typically has a part ignition control module
(typicalPart SparkPlug AutomobileIgnitionSystem) Cars.kif 3284-3284 A spark plug is typically a part of a automobile ignition system
(typicallyContainsPart SparkPlug AutomobileIgnitionSystem) Cars.kif 3285-3285 A automobile ignition system typically has a part spark plug


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