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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSXMountainLion
MacOSXMountainLion(Mountain Lion)

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


(documentation MacOSXMountainLion ChineseLanguage "OS X Mountain Lion – 10.8") ComputingBrands.kif 447-447
(documentation MacOSXMountainLion ChineseTraditionalLanguage "OS X Mountain Lion – 10.8") ComputingBrands.kif 446-446
(documentation MacOSXMountainLion EnglishLanguage "OS X Mountain Lion – 10.8") ComputingBrands.kif 445-445
(documentation MacOSXMountainLion JapaneseLanguage "OS X Mountain Lion – 10.8") ComputingBrands.kif 448-448
(subclass MacOSXMountainLion AppleMacOSX) ComputingBrands.kif 464-464 Mountain Lion is a subclass of Apple mac oSX

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


(termFormat ChineseLanguage MacOSXMountainLion "Mac OS Mountain Lion") ComputingBrands.kif 457-457
(termFormat ChineseLanguage MacOSXMountainLion "Mountain Lion") ComputingBrands.kif 462-462
(termFormat ChineseLanguage MacOSXMountainLion "OS 10.8") ComputingBrands.kif 452-452
(termFormat ChineseTraditionalLanguage MacOSXMountainLion "Mac OS Mountain Lion") ComputingBrands.kif 456-456
(termFormat ChineseTraditionalLanguage MacOSXMountainLion "Mountain Lion") ComputingBrands.kif 461-461
(termFormat ChineseTraditionalLanguage MacOSXMountainLion "OS 10.8") ComputingBrands.kif 451-451
(termFormat EnglishLanguage MacOSXMountainLion "Mac OS Mountain Lion") ComputingBrands.kif 455-455
(termFormat EnglishLanguage MacOSXMountainLion "Mountain Lion") ComputingBrands.kif 460-460
(termFormat EnglishLanguage MacOSXMountainLion "OS 10.8") ComputingBrands.kif 450-450
(termFormat JapaneseLanguage MacOSXMountainLion "Mac OS Mountain Lion") ComputingBrands.kif 458-458
(termFormat JapaneseLanguage MacOSXMountainLion "Mountain Lion") ComputingBrands.kif 463-463
(termFormat JapaneseLanguage MacOSXMountainLion "OS 10.8") ComputingBrands.kif 453-453


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