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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MacOSCatalina

Sigma KEE - MacOSCatalina
MacOSCatalina

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


(documentation MacOSCatalina ChineseLanguage "macOS Catalina - 10.15") ComputingBrands.kif 586-586
(documentation MacOSCatalina ChineseTraditionalLanguage "macOS Catalina - 10.15") ComputingBrands.kif 585-585
(documentation MacOSCatalina EnglishLanguage "macOS Catalina - 10.15") ComputingBrands.kif 584-584
(documentation MacOSCatalina JapaneseLanguage "macOS Catalina - 10.15") ComputingBrands.kif 587-587
(subclass MacOSCatalina AppleMacOSX) ComputingBrands.kif 603-603

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


(termFormat ChineseLanguage MacOSCatalina "Catalina") ComputingBrands.kif 601-601
(termFormat ChineseLanguage MacOSCatalina "Mac OS Catalina") ComputingBrands.kif 596-596
(termFormat ChineseLanguage MacOSCatalina "macOS 10.15") ComputingBrands.kif 591-591
(termFormat ChineseTraditionalLanguage MacOSCatalina "Catalina") ComputingBrands.kif 600-600
(termFormat ChineseTraditionalLanguage MacOSCatalina "Mac OS Catalina") ComputingBrands.kif 595-595
(termFormat ChineseTraditionalLanguage MacOSCatalina "macOS 10.15") ComputingBrands.kif 590-590
(termFormat EnglishLanguage MacOSCatalina "Catalina") ComputingBrands.kif 599-599
(termFormat EnglishLanguage MacOSCatalina "Mac OS Catalina") ComputingBrands.kif 594-594
(termFormat EnglishLanguage MacOSCatalina "macOS 10.15") ComputingBrands.kif 589-589
(termFormat JapaneseLanguage MacOSCatalina "Catalina") ComputingBrands.kif 602-602
(termFormat JapaneseLanguage MacOSCatalina "Mac OS Catalina") ComputingBrands.kif 597-597
(termFormat JapaneseLanguage MacOSCatalina "macOS 10.15") ComputingBrands.kif 592-592


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