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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 1197-1200
(subclass Alternator Generator) Cars.kif 1195-1195
(typicalPart Alternator Vehicle) Cars.kif 1202-1202
(typicallyContainsPart Alternator Vehicle) Cars.kif 1203-1203

appearance as argument number 2

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

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