Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Alternator(alternator) |  | alternator |
| appearance as argument number 1 |
|
|
| (subclass Alternator Generator) | Cars.kif 1142-1142 | Alternator is a subclass of generator |
| (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 1144-1147 | Alternator is a subclass of generator |
| (typicalPart Alternator Vehicle) | Cars.kif 1149-1149 | A alternator is typically a part of a vehicle |
| (typicallyContainsPart Alternator Vehicle) | Cars.kif 1150-1150 | A vehicle typically has a part alternator |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Alternator "alternator") | Cars.kif 1143-1143 |
|