MiniCooper |
appearance as argument number 1 |
(documentation MiniCooper EnglishLanguage "A family of small Automobile models that is an iconic British vehicle. It has been revived by BMW.") | Cars.kif 4837-4838 | |
(manufacturer MiniCooper BritishMotorCorp) | Cars.kif 4840-4840 | |
(subclass MiniCooper Automobile) | Cars.kif 4836-4836 |
appearance as argument number 2 |
(termFormat EnglishLanguage MiniCooper "mini cooper") | Cars.kif 4839-4839 | |
(typicalPart MiniCooperEngine MiniCooper) | Cars.kif 4845-4845 | |
(typicallyContainsPart MiniCooperEngine MiniCooper) | Cars.kif 4846-4846 |