| appearance as argument number 1 |
|
| (documentation MacOSHighSierra ChineseLanguage "macOS High Sierra – 10.13") | ComputingBrands.kif 550-550 | |
| (documentation MacOSHighSierra ChineseTraditionalLanguage "macOS High Sierra – 10.13") | ComputingBrands.kif 549-549 | |
| (documentation MacOSHighSierra EnglishLanguage "macOS High Sierra – 10.13") | ComputingBrands.kif 548-548 | |
| (documentation MacOSHighSierra JapaneseLanguage "macOS High Sierra – 10.13") | ComputingBrands.kif 551-551 | |
| (subclass MacOSHighSierra AppleMacOSX) | ComputingBrands.kif 568-568 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage MacOSHighSierra "High Sierra") | ComputingBrands.kif 565-565 | |
| (termFormat ChineseLanguage MacOSHighSierra "Mac OS High Sierra") | ComputingBrands.kif 560-560 | |
| (termFormat ChineseLanguage MacOSHighSierra "macOS 10.13") | ComputingBrands.kif 555-555 | |
| (termFormat ChineseTraditionalLanguage MacOSHighSierra "High Sierra") | ComputingBrands.kif 564-564 | |
| (termFormat ChineseTraditionalLanguage MacOSHighSierra "Mac OS High Sierra") | ComputingBrands.kif 559-559 | |
| (termFormat ChineseTraditionalLanguage MacOSHighSierra "macOS 10.13") | ComputingBrands.kif 554-554 | |
| (termFormat EnglishLanguage MacOSHighSierra "High Sierra") | ComputingBrands.kif 563-563 | |
| (termFormat EnglishLanguage MacOSHighSierra "Mac OS High Sierra") | ComputingBrands.kif 558-558 | |
| (termFormat EnglishLanguage MacOSHighSierra "macOS 10.13") | ComputingBrands.kif 553-553 | |
| (termFormat JapaneseLanguage MacOSHighSierra "High Sierra") | ComputingBrands.kif 566-566 | |
| (termFormat JapaneseLanguage MacOSHighSierra "Mac OS High Sierra") | ComputingBrands.kif 561-561 | |
| (termFormat JapaneseLanguage MacOSHighSierra "macOS 10.13") | ComputingBrands.kif 556-556 |
|
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