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



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSXMountainLion
MacOSXMountainLion(Mountain Lion)

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


(documentation MacOSXMountainLion EnglishLanguage "OS X Mountain Lion – 10.8") ComputingBrands.kif 445-445
(documentation MacOSXMountainLion ChineseTraditionalLanguage "OS X Mountain Lion – 10.8") ComputingBrands.kif 446-446
(documentation MacOSXMountainLion ChineseLanguage "OS X Mountain Lion – 10.8") ComputingBrands.kif 447-447
(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 EnglishLanguage MacOSXMountainLion "OS 10.8") ComputingBrands.kif 450-450
(termFormat ChineseTraditionalLanguage MacOSXMountainLion "OS 10.8") ComputingBrands.kif 451-451
(termFormat ChineseLanguage MacOSXMountainLion "OS 10.8") ComputingBrands.kif 452-452
(termFormat JapaneseLanguage MacOSXMountainLion "OS 10.8") ComputingBrands.kif 453-453
(termFormat EnglishLanguage MacOSXMountainLion "Mac OS Mountain Lion") ComputingBrands.kif 455-455
(termFormat ChineseTraditionalLanguage MacOSXMountainLion "Mac OS Mountain Lion") ComputingBrands.kif 456-456
(termFormat ChineseLanguage MacOSXMountainLion "Mac OS Mountain Lion") ComputingBrands.kif 457-457
(termFormat JapaneseLanguage MacOSXMountainLion "Mac OS Mountain Lion") ComputingBrands.kif 458-458
(termFormat EnglishLanguage MacOSXMountainLion "Mountain Lion") ComputingBrands.kif 460-460
(termFormat ChineseTraditionalLanguage MacOSXMountainLion "Mountain Lion") ComputingBrands.kif 461-461
(termFormat ChineseLanguage MacOSXMountainLion "Mountain Lion") ComputingBrands.kif 462-462
(termFormat JapaneseLanguage MacOSXMountainLion "Mountain Lion") ComputingBrands.kif 463-463


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners