Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   ConstructedLanguage
|
|
|
| appearance as argument number 1 |
|
|
| (documentation MacOSXLeopard EnglishLanguage "Mac OS X Leopard – 10.5") | ComputingBrands.kif 380-380 | |
| (documentation MacOSXLeopard ChineseTraditionalLanguage "Mac OS X Leopard – 10.5") | ComputingBrands.kif 381-381 | |
| (documentation MacOSXLeopard ChineseLanguage "Mac OS X Leopard – 10.5") | ComputingBrands.kif 382-382 | |
| (documentation MacOSXLeopard JapaneseLanguage "Mac OS X Leopard – 10.5") | ComputingBrands.kif 383-383 | |
| (subclass MacOSXLeopard AppleMacOSX) | ComputingBrands.kif 399-399 | Leopard is a subclass of Apple mac oSX |
| appearance as argument number 2 |
|
|
|