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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSMojave
MacOSMojave(Mojave)

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


(documentation MacOSMojave ChineseLanguage "macOS Mojave – 10.14") ComputingBrands.kif 572-572
(documentation MacOSMojave ChineseTraditionalLanguage "macOS Mojave – 10.14") ComputingBrands.kif 571-571
(documentation MacOSMojave EnglishLanguage "macOS Mojave – 10.14") ComputingBrands.kif 570-570
(documentation MacOSMojave JapaneseLanguage "macOS Mojave – 10.14") ComputingBrands.kif 573-573
(subclass MacOSMojave AppleMacOSX) ComputingBrands.kif 589-589 Mojave is a subclass of Apple mac oSX

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


(termFormat ChineseLanguage MacOSMojave "Mac OS Mojave") ComputingBrands.kif 582-582
(termFormat ChineseLanguage MacOSMojave "Mojave") ComputingBrands.kif 587-587
(termFormat ChineseLanguage MacOSMojave "macOS 10.14") ComputingBrands.kif 577-577
(termFormat ChineseTraditionalLanguage MacOSMojave "Mac OS Mojave") ComputingBrands.kif 581-581
(termFormat ChineseTraditionalLanguage MacOSMojave "Mojave") ComputingBrands.kif 586-586
(termFormat ChineseTraditionalLanguage MacOSMojave "macOS 10.14") ComputingBrands.kif 576-576
(termFormat EnglishLanguage MacOSMojave "Mac OS Mojave") ComputingBrands.kif 580-580
(termFormat EnglishLanguage MacOSMojave "Mojave") ComputingBrands.kif 585-585
(termFormat EnglishLanguage MacOSMojave "macOS 10.14") ComputingBrands.kif 575-575
(termFormat JapaneseLanguage MacOSMojave "Mac OS Mojave") ComputingBrands.kif 583-583
(termFormat JapaneseLanguage MacOSMojave "Mojave") ComputingBrands.kif 588-588
(termFormat JapaneseLanguage MacOSMojave "macOS 10.14") ComputingBrands.kif 578-578


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