Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MacOSX10_2(Jaguar) |
| appearance as argument number 1 |
|
| (documentation MacOSX10_2 EnglishLanguage "Mac OS X 10.2 – also marketed as Jaguar") | ComputingBrands.kif 317-317 | |
| (documentation MacOSX10_2 ChineseTraditionalLanguage "Mac OS X 10.2 – 亦推廣為 Jaguar") | ComputingBrands.kif 318-318 | |
| (documentation MacOSX10_2 ChineseLanguage "Mac OS X 10.2 – 亦推广为 Jaguar") | ComputingBrands.kif 319-319 | |
| (documentation MacOSX10_2 JapaneseLanguage "Mac OS X 10.2 – 別名Jaguar") | ComputingBrands.kif 320-320 | |
| (subclass MacOSX10_2 AppleMacOSX) | ComputingBrands.kif 336-336 | Jaguar is a subclass of Apple mac oSX |
| appearance as argument number 2 |
|
|
|