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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSHighSierra
MacOSHighSierra

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