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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSCatalina
MacOSCatalina(Catalina)

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


(documentation MacOSCatalina ChineseLanguage "macOS Catalina - 10.15") ComputingBrands.kif 593-593
(documentation MacOSCatalina ChineseTraditionalLanguage "macOS Catalina - 10.15") ComputingBrands.kif 592-592
(documentation MacOSCatalina EnglishLanguage "macOS Catalina - 10.15") ComputingBrands.kif 591-591
(documentation MacOSCatalina JapaneseLanguage "macOS Catalina - 10.15") ComputingBrands.kif 594-594
(subclass MacOSCatalina AppleMacOSX) ComputingBrands.kif 610-610 Catalina is a subclass of Apple mac oSX

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


(termFormat ChineseLanguage MacOSCatalina "Catalina") ComputingBrands.kif 608-608
(termFormat ChineseLanguage MacOSCatalina "Mac OS Catalina") ComputingBrands.kif 603-603
(termFormat ChineseLanguage MacOSCatalina "macOS 10.15") ComputingBrands.kif 598-598
(termFormat ChineseTraditionalLanguage MacOSCatalina "Catalina") ComputingBrands.kif 607-607
(termFormat ChineseTraditionalLanguage MacOSCatalina "Mac OS Catalina") ComputingBrands.kif 602-602
(termFormat ChineseTraditionalLanguage MacOSCatalina "macOS 10.15") ComputingBrands.kif 597-597
(termFormat EnglishLanguage MacOSCatalina "Catalina") ComputingBrands.kif 606-606
(termFormat EnglishLanguage MacOSCatalina "Mac OS Catalina") ComputingBrands.kif 601-601
(termFormat EnglishLanguage MacOSCatalina "macOS 10.15") ComputingBrands.kif 596-596
(termFormat JapaneseLanguage MacOSCatalina "Catalina") ComputingBrands.kif 609-609
(termFormat JapaneseLanguage MacOSCatalina "Mac OS Catalina") ComputingBrands.kif 604-604
(termFormat JapaneseLanguage MacOSCatalina "macOS 10.15") ComputingBrands.kif 599-599


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