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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Alternator
Alternator(alternator)alternator

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


(documentation Alternator EnglishLanguage "A Generator that is part of a Vehicle, intended to use the power of the motor to generate electricity to keep the Battery charged and supply Electricity for the systems of the Vehicle, including the SparkPlugs, lights, radio etc.") Cars.kif 1206-1209
(subclass Alternator Generator) Cars.kif 1204-1204 Alternator is a subclass of generator
(typicalPart Alternator Vehicle) Cars.kif 1211-1211 A alternator is typically a part of a vehicle
(typicallyContainsPart Alternator Vehicle) Cars.kif 1212-1212 A vehicle typically has a part alternator

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


(termFormat EnglishLanguage Alternator "alternator") Cars.kif 1205-1205


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