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 566-566
(documentation MacOSMojave ChineseTraditionalLanguage "macOS Mojave – 10.14") ComputingBrands.kif 565-565
(documentation MacOSMojave EnglishLanguage "macOS Mojave – 10.14") ComputingBrands.kif 564-564
(documentation MacOSMojave JapaneseLanguage "macOS Mojave – 10.14") ComputingBrands.kif 567-567
(subclass MacOSMojave AppleMacOSX) ComputingBrands.kif 583-583

appearance as argument number 2

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

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