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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSXMavericks
MacOSXMavericks(Mavericks)

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


(documentation MacOSXMavericks ChineseLanguage "OS X Mavericks – 10.9") ComputingBrands.kif 468-468
(documentation MacOSXMavericks ChineseTraditionalLanguage "OS X Mavericks – 10.9") ComputingBrands.kif 467-467
(documentation MacOSXMavericks EnglishLanguage "OS X Mavericks – 10.9") ComputingBrands.kif 466-466
(documentation MacOSXMavericks JapaneseLanguage "OS X Mavericks – 10.9") ComputingBrands.kif 469-469
(subclass MacOSXMavericks AppleMacOSX) ComputingBrands.kif 482-482 Mavericks is a subclass of Apple mac oSX

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


(termFormat ChineseLanguage MacOSXMavericks "Mavericks") ComputingBrands.kif 480-480
(termFormat ChineseLanguage MacOSXMavericks "OS 10.9") ComputingBrands.kif 472-472
(termFormat ChineseTraditionalLanguage MacOSXMavericks "Mavericks") ComputingBrands.kif 479-479
(termFormat ChineseTraditionalLanguage MacOSXMavericks "OS 10.9") ComputingBrands.kif 471-471
(termFormat EnglishLanguage MacOSXMavericks "Mac OS Mavericks") ComputingBrands.kif 475-475
(termFormat EnglishLanguage MacOSXMavericks "Mavericks") ComputingBrands.kif 478-478
(termFormat EnglishLanguage MacOSXMavericks "OS 10.9") ComputingBrands.kif 470-470
(termFormat JapaneseLanguage MacOSXMavericks "Mac OS Mavericks") ComputingBrands.kif 476-476
(termFormat JapaneseLanguage MacOSXMavericks "Mavericks") ComputingBrands.kif 481-481
(termFormat JapaneseLanguage MacOSXMavericks "OS 10.9") ComputingBrands.kif 473-473


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