Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSCatalina
MacOSCatalina(Catalina)

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


(documentation MacOSCatalina EnglishLanguage "macOS Catalina - 10.15") ComputingBrands.kif 591-591
(documentation MacOSCatalina ChineseTraditionalLanguage "macOS Catalina - 10.15") ComputingBrands.kif 592-592
(documentation MacOSCatalina ChineseLanguage "macOS Catalina - 10.15") ComputingBrands.kif 593-593
(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 EnglishLanguage MacOSCatalina "macOS 10.15") ComputingBrands.kif 596-596
(termFormat ChineseTraditionalLanguage MacOSCatalina "macOS 10.15") ComputingBrands.kif 597-597
(termFormat ChineseLanguage MacOSCatalina "macOS 10.15") ComputingBrands.kif 598-598
(termFormat JapaneseLanguage MacOSCatalina "macOS 10.15") ComputingBrands.kif 599-599
(termFormat EnglishLanguage MacOSCatalina "Mac OS Catalina") ComputingBrands.kif 601-601
(termFormat ChineseTraditionalLanguage MacOSCatalina "Mac OS Catalina") ComputingBrands.kif 602-602
(termFormat ChineseLanguage MacOSCatalina "Mac OS Catalina") ComputingBrands.kif 603-603
(termFormat JapaneseLanguage MacOSCatalina "Mac OS Catalina") ComputingBrands.kif 604-604
(termFormat EnglishLanguage MacOSCatalina "Catalina") ComputingBrands.kif 606-606
(termFormat ChineseTraditionalLanguage MacOSCatalina "Catalina") ComputingBrands.kif 607-607
(termFormat ChineseLanguage MacOSCatalina "Catalina") ComputingBrands.kif 608-608
(termFormat JapaneseLanguage MacOSCatalina "Catalina") ComputingBrands.kif 609-609


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners