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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - 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 AlternatorGeneratorsubclass では %n
(typicalPart Alternator Vehicle) Cars.kif 1211-1211 typicalPart Alternator and Vehicle
(typicallyContainsPart Alternator Vehicle) Cars.kif 1212-1212 typicallyContainsPart Alternator and Vehicle

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