Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MacOSHighSierra

Sigma KEE - MacOSHighSierra
MacOSHighSierra

appearance as argument number 1
-------------------------


(documentation MacOSHighSierra ChineseLanguage "macOS High Sierra – 10.13") ComputingBrands.kif 544-544
(documentation MacOSHighSierra ChineseTraditionalLanguage "macOS High Sierra – 10.13") ComputingBrands.kif 543-543
(documentation MacOSHighSierra EnglishLanguage "macOS High Sierra – 10.13") ComputingBrands.kif 542-542
(documentation MacOSHighSierra JapaneseLanguage "macOS High Sierra – 10.13") ComputingBrands.kif 545-545
(subclass MacOSHighSierra AppleMacOSX) ComputingBrands.kif 562-562

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage MacOSHighSierra "High Sierra") ComputingBrands.kif 559-559
(termFormat ChineseLanguage MacOSHighSierra "Mac OS High Sierra") ComputingBrands.kif 554-554
(termFormat ChineseLanguage MacOSHighSierra "macOS 10.13") ComputingBrands.kif 549-549
(termFormat ChineseTraditionalLanguage MacOSHighSierra "High Sierra") ComputingBrands.kif 558-558
(termFormat ChineseTraditionalLanguage MacOSHighSierra "Mac OS High Sierra") ComputingBrands.kif 553-553
(termFormat ChineseTraditionalLanguage MacOSHighSierra "macOS 10.13") ComputingBrands.kif 548-548
(termFormat EnglishLanguage MacOSHighSierra "High Sierra") ComputingBrands.kif 557-557
(termFormat EnglishLanguage MacOSHighSierra "Mac OS High Sierra") ComputingBrands.kif 552-552
(termFormat EnglishLanguage MacOSHighSierra "macOS 10.13") ComputingBrands.kif 547-547
(termFormat JapaneseLanguage MacOSHighSierra "High Sierra") ComputingBrands.kif 560-560
(termFormat JapaneseLanguage MacOSHighSierra "Mac OS High Sierra") ComputingBrands.kif 555-555
(termFormat JapaneseLanguage MacOSHighSierra "macOS 10.13") ComputingBrands.kif 550-550


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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