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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSXMountainLion
MacOSXMountainLion

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


(documentation MacOSXMountainLion ChineseLanguage "OS X Mountain Lion – 10.8") ComputingBrands.kif 440-440
(documentation MacOSXMountainLion ChineseTraditionalLanguage "OS X Mountain Lion – 10.8") ComputingBrands.kif 439-439
(documentation MacOSXMountainLion EnglishLanguage "OS X Mountain Lion – 10.8") ComputingBrands.kif 438-438
(documentation MacOSXMountainLion JapaneseLanguage "OS X Mountain Lion – 10.8") ComputingBrands.kif 441-441
(subclass MacOSXMountainLion AppleMacOSX) ComputingBrands.kif 457-457

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


(termFormat ChineseLanguage MacOSXMountainLion "Mac OS Mountain Lion") ComputingBrands.kif 450-450
(termFormat ChineseLanguage MacOSXMountainLion "Mountain Lion") ComputingBrands.kif 455-455
(termFormat ChineseLanguage MacOSXMountainLion "OS 10.8") ComputingBrands.kif 445-445
(termFormat ChineseTraditionalLanguage MacOSXMountainLion "Mac OS Mountain Lion") ComputingBrands.kif 449-449
(termFormat ChineseTraditionalLanguage MacOSXMountainLion "Mountain Lion") ComputingBrands.kif 454-454
(termFormat ChineseTraditionalLanguage MacOSXMountainLion "OS 10.8") ComputingBrands.kif 444-444
(termFormat EnglishLanguage MacOSXMountainLion "Mac OS Mountain Lion") ComputingBrands.kif 448-448
(termFormat EnglishLanguage MacOSXMountainLion "Mountain Lion") ComputingBrands.kif 453-453
(termFormat EnglishLanguage MacOSXMountainLion "OS 10.8") ComputingBrands.kif 443-443
(termFormat JapaneseLanguage MacOSXMountainLion "Mac OS Mountain Lion") ComputingBrands.kif 451-451
(termFormat JapaneseLanguage MacOSXMountainLion "Mountain Lion") ComputingBrands.kif 456-456
(termFormat JapaneseLanguage MacOSXMountainLion "OS 10.8") ComputingBrands.kif 446-446


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