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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSMojave

appearance as argument number 1

(documentation MacOSMojave ChineseLanguage "macOS Mojave – 10.14") ComputingBrands.kif 565-565
(documentation MacOSMojave ChineseTraditionalLanguage "macOS Mojave – 10.14") ComputingBrands.kif 564-564
(documentation MacOSMojave EnglishLanguage "macOS Mojave – 10.14") ComputingBrands.kif 563-563
(documentation MacOSMojave JapaneseLanguage "macOS Mojave – 10.14") ComputingBrands.kif 566-566
(subclass MacOSMojave AppleMacOSX) ComputingBrands.kif 582-582

appearance as argument number 2

(termFormat ChineseLanguage MacOSMojave "Mac OS Mojave") ComputingBrands.kif 575-575
(termFormat ChineseLanguage MacOSMojave "Mojave") ComputingBrands.kif 580-580
(termFormat ChineseLanguage MacOSMojave "macOS 10.14") ComputingBrands.kif 570-570
(termFormat ChineseTraditionalLanguage MacOSMojave "Mac OS Mojave") ComputingBrands.kif 574-574
(termFormat ChineseTraditionalLanguage MacOSMojave "Mojave") ComputingBrands.kif 579-579
(termFormat ChineseTraditionalLanguage MacOSMojave "macOS 10.14") ComputingBrands.kif 569-569
(termFormat EnglishLanguage MacOSMojave "Mac OS Mojave") ComputingBrands.kif 573-573
(termFormat EnglishLanguage MacOSMojave "Mojave") ComputingBrands.kif 578-578
(termFormat EnglishLanguage MacOSMojave "macOS 10.14") ComputingBrands.kif 568-568
(termFormat JapaneseLanguage MacOSMojave "Mac OS Mojave") ComputingBrands.kif 576-576
(termFormat JapaneseLanguage MacOSMojave "Mojave") ComputingBrands.kif 581-581
(termFormat JapaneseLanguage MacOSMojave "macOS 10.14") ComputingBrands.kif 571-571

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