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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSSierra
MacOSSierra(Sierra)

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


(documentation MacOSSierra ChineseLanguage "macOS Sierra – 10.12") ComputingBrands.kif 529-529
(documentation MacOSSierra ChineseTraditionalLanguage "macOS Sierra – 10.12") ComputingBrands.kif 528-528
(documentation MacOSSierra EnglishLanguage "macOS Sierra – 10.12") ComputingBrands.kif 527-527
(documentation MacOSSierra JapaneseLanguage "macOS Sierra – 10.12") ComputingBrands.kif 530-530
(subclass MacOSSierra AppleMacOSX) ComputingBrands.kif 546-546 Sierra is a subclass of Apple mac oSX

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


(termFormat ChineseLanguage MacOSSierra "Mac OS Sierra") ComputingBrands.kif 539-539
(termFormat ChineseLanguage MacOSSierra "Sierra") ComputingBrands.kif 544-544
(termFormat ChineseLanguage MacOSSierra "macOS 10.12") ComputingBrands.kif 534-534
(termFormat ChineseTraditionalLanguage MacOSSierra "Mac OS Sierra") ComputingBrands.kif 538-538
(termFormat ChineseTraditionalLanguage MacOSSierra "Sierra") ComputingBrands.kif 543-543
(termFormat ChineseTraditionalLanguage MacOSSierra "macOS 10.12") ComputingBrands.kif 533-533
(termFormat EnglishLanguage MacOSSierra "Mac OS Sierra") ComputingBrands.kif 537-537
(termFormat EnglishLanguage MacOSSierra "Sierra") ComputingBrands.kif 542-542
(termFormat EnglishLanguage MacOSSierra "macOS 10.12") ComputingBrands.kif 532-532
(termFormat JapaneseLanguage MacOSSierra "Mac OS Sierra") ComputingBrands.kif 540-540
(termFormat JapaneseLanguage MacOSSierra "Sierra") ComputingBrands.kif 545-545
(termFormat JapaneseLanguage MacOSSierra "macOS 10.12") ComputingBrands.kif 535-535


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