| appearance as argument number 1 |
|
| (documentation MacOSXLeopard ChineseLanguage "Mac OS X Leopard – 10.5") | ComputingBrands.kif 382-382 | |
| (documentation MacOSXLeopard ChineseTraditionalLanguage "Mac OS X Leopard – 10.5") | ComputingBrands.kif 381-381 | |
| (documentation MacOSXLeopard EnglishLanguage "Mac OS X Leopard – 10.5") | ComputingBrands.kif 380-380 | |
| (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 |
|
|
| (termFormat ChineseLanguage MacOSXLeopard "Leopard") | ComputingBrands.kif 397-397 | |
| (termFormat ChineseLanguage MacOSXLeopard "Mac OS 10.5") | ComputingBrands.kif 387-387 | |
| (termFormat ChineseLanguage MacOSXLeopard "Mac OS Leopard") | ComputingBrands.kif 392-392 | |
| (termFormat ChineseTraditionalLanguage MacOSXLeopard "Leopard") | ComputingBrands.kif 396-396 | |
| (termFormat ChineseTraditionalLanguage MacOSXLeopard "Mac OS 10.5") | ComputingBrands.kif 386-386 | |
| (termFormat ChineseTraditionalLanguage MacOSXLeopard "Mac OS Leopard") | ComputingBrands.kif 391-391 | |
| (termFormat EnglishLanguage MacOSXLeopard "Leopard") | ComputingBrands.kif 395-395 | |
| (termFormat EnglishLanguage MacOSXLeopard "Mac OS 10.5") | ComputingBrands.kif 385-385 | |
| (termFormat EnglishLanguage MacOSXLeopard "Mac OS Leopard") | ComputingBrands.kif 390-390 | |
| (termFormat JapaneseLanguage MacOSXLeopard "Leopard") | ComputingBrands.kif 398-398 | |
| (termFormat JapaneseLanguage MacOSXLeopard "Mac OS 10.5") | ComputingBrands.kif 388-388 | |
| (termFormat JapaneseLanguage MacOSXLeopard "Mac OS Leopard") | ComputingBrands.kif 393-393 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners