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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MacOSXMavericks

Sigma KEE - MacOSXMavericks
MacOSXMavericks

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


(documentation MacOSXMavericks ChineseLanguage "OS X Mavericks – 10.9") ComputingBrands.kif 461-461
(documentation MacOSXMavericks ChineseTraditionalLanguage "OS X Mavericks – 10.9") ComputingBrands.kif 460-460
(documentation MacOSXMavericks EnglishLanguage "OS X Mavericks – 10.9") ComputingBrands.kif 459-459
(documentation MacOSXMavericks JapaneseLanguage "OS X Mavericks – 10.9") ComputingBrands.kif 462-462
(subclass MacOSXMavericks AppleMacOSX) ComputingBrands.kif 475-475

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


(termFormat ChineseLanguage MacOSXMavericks "Mavericks") ComputingBrands.kif 473-473
(termFormat ChineseLanguage MacOSXMavericks "OS 10.9") ComputingBrands.kif 465-465
(termFormat ChineseTraditionalLanguage MacOSXMavericks "Mavericks") ComputingBrands.kif 472-472
(termFormat ChineseTraditionalLanguage MacOSXMavericks "OS 10.9") ComputingBrands.kif 464-464
(termFormat EnglishLanguage MacOSXMavericks "Mac OS Mavericks") ComputingBrands.kif 468-468
(termFormat EnglishLanguage MacOSXMavericks "Mavericks") ComputingBrands.kif 471-471
(termFormat EnglishLanguage MacOSXMavericks "OS 10.9") ComputingBrands.kif 463-463
(termFormat JapaneseLanguage MacOSXMavericks "Mac OS Mavericks") ComputingBrands.kif 469-469
(termFormat JapaneseLanguage MacOSXMavericks "Mavericks") ComputingBrands.kif 474-474
(termFormat JapaneseLanguage MacOSXMavericks "OS 10.9") ComputingBrands.kif 466-466


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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