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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MacOSXSnowLeopard

Sigma KEE - MacOSXSnowLeopard
MacOSXSnowLeopard

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


(documentation MacOSXSnowLeopard ChineseLanguage "Leopard Mac OS X Snow Leopard – 10.6") ComputingBrands.kif 396-396
(documentation MacOSXSnowLeopard ChineseTraditionalLanguage "Leopard Mac OS X Snow Leopard – 10.6") ComputingBrands.kif 395-395
(documentation MacOSXSnowLeopard EnglishLanguage "Leopard Mac OS X Snow Leopard – 10.6") ComputingBrands.kif 394-394
(documentation MacOSXSnowLeopard JapaneseLanguage "Leopard Mac OS X Snow Leopard – 10.6") ComputingBrands.kif 397-397
(subclass MacOSXSnowLeopard AppleMacOSX) ComputingBrands.kif 414-414

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


(termFormat ChineseLanguage MacOSXSnowLeopard "Mac OS 10.6") ComputingBrands.kif 401-401
(termFormat ChineseLanguage MacOSXSnowLeopard "Mac OS Snow Leopard") ComputingBrands.kif 406-406
(termFormat ChineseLanguage MacOSXSnowLeopard "Snow Leopard") ComputingBrands.kif 411-411
(termFormat ChineseTraditionalLanguage MacOSXSnowLeopard "Mac OS 10.6") ComputingBrands.kif 400-400
(termFormat ChineseTraditionalLanguage MacOSXSnowLeopard "Mac OS Snow Leopard") ComputingBrands.kif 405-405
(termFormat ChineseTraditionalLanguage MacOSXSnowLeopard "Snow Leopard") ComputingBrands.kif 410-410
(termFormat EnglishLanguage MacOSXSnowLeopard "Mac OS 10.6") ComputingBrands.kif 399-399
(termFormat EnglishLanguage MacOSXSnowLeopard "Mac OS Snow Leopard") ComputingBrands.kif 404-404
(termFormat EnglishLanguage MacOSXSnowLeopard "Snow Leopard") ComputingBrands.kif 409-409
(termFormat JapaneseLanguage MacOSXSnowLeopard "Mac OS 10.6") ComputingBrands.kif 402-402
(termFormat JapaneseLanguage MacOSXSnowLeopard "Mac OS Snow Leopard") ComputingBrands.kif 407-407
(termFormat JapaneseLanguage MacOSXSnowLeopard "Snow Leopard") ComputingBrands.kif 412-412


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