Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Corvette
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Corvette Automobile) | Cars.kif 5010-5010 | Corvette is a subclass of automobile |
| (manufacturer Corvette GeneralMotorsCorp) | Cars.kif 5012-5012 | The maker of Corvette is General Motors |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Corvette "Corvette") | Cars.kif 5011-5011 | |
| (typicalPart GMLs1V8engine Corvette) | Cars.kif 5013-5013 | A ls1 engine is typically a part of a Corvette |
|