Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MacOSX10_1(Puma) |
| appearance as argument number 1 |
|
| (documentation MacOSX10_1 EnglishLanguage "Mac OS X 10.1 – code name Puma") | ComputingBrands.kif 296-296 | |
| (documentation MacOSX10_1 ChineseTraditionalLanguage "Mac OS X 10.1 – 代號為 Puma") | ComputingBrands.kif 297-297 | |
| (documentation MacOSX10_1 ChineseLanguage "Mac OS X 10.1 – 代号为 Puma") | ComputingBrands.kif 298-298 | |
| (documentation MacOSX10_1 JapaneseLanguage "Mac OS X 10.1 – コードネーム Puma") | ComputingBrands.kif 299-299 | |
| (subclass MacOSX10_1 AppleMacOSX) | ComputingBrands.kif 315-315 | Puma is a subclass of Apple mac oSX |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MacOSX10_1 "Mac OS 10.1") | ComputingBrands.kif 301-301 | |
| (termFormat ChineseTraditionalLanguage MacOSX10_1 "Mac OS 10.1") | ComputingBrands.kif 302-302 | |
| (termFormat ChineseLanguage MacOSX10_1 "Mac OS 10.1") | ComputingBrands.kif 303-303 | |
| (termFormat JapaneseLanguage MacOSX10_1 "Mac OS 10.1") | ComputingBrands.kif 304-304 | |
| (termFormat EnglishLanguage MacOSX10_1 "Mac OS Puma") | ComputingBrands.kif 306-306 | |
| (termFormat ChineseTraditionalLanguage MacOSX10_1 "Mac OS Puma") | ComputingBrands.kif 307-307 | |
| (termFormat ChineseLanguage MacOSX10_1 "Mac OS Puma") | ComputingBrands.kif 308-308 | |
| (termFormat JapaneseLanguage MacOSX10_1 "Mac OS Puma") | ComputingBrands.kif 309-309 | |
| (termFormat EnglishLanguage MacOSX10_1 "Puma") | ComputingBrands.kif 311-311 | |
| (termFormat ChineseLanguage MacOSX10_1 "Puma") | ComputingBrands.kif 312-312 | |
| (termFormat JapaneseLanguage MacOSX10_1 "Puma") | ComputingBrands.kif 313-313 |
|