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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AutomobileIgnitionSystem
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 3172-3176
(subclass AutomobileIgnitionSystem PhysicalSystem) Cars.kif 3170-3170 subclass AutomobileIgnitionSystem and PhysicalSystem

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


(termFormat EnglishLanguage AutomobileIgnitionSystem "automobile ignition system") Cars.kif 3171-3171
(typicalPart IgnitionControlModule AutomobileIgnitionSystem) Cars.kif 3178-3178 typicalPart IgnitionControlModule and AutomobileIgnitionSystem
(typicalPart SparkPlug AutomobileIgnitionSystem) Cars.kif 3181-3181 typicalPart SparkPlug and AutomobileIgnitionSystem
(typicallyContainsPart IgnitionControlModule AutomobileIgnitionSystem) Cars.kif 3179-3179 typicallyContainsPart IgnitionControlModule and AutomobileIgnitionSystem
(typicallyContainsPart SparkPlug AutomobileIgnitionSystem) Cars.kif 3182-3182 typicallyContainsPart SparkPlug and AutomobileIgnitionSystem


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