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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSXSnowLeopard
MacOSXSnowLeopard(Snow Leopard)

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


(documentation MacOSXSnowLeopard ChineseLanguage "Leopard Mac OS X Snow Leopard – 10.6") ComputingBrands.kif 403-403
(documentation MacOSXSnowLeopard ChineseTraditionalLanguage "Leopard Mac OS X Snow Leopard – 10.6") ComputingBrands.kif 402-402
(documentation MacOSXSnowLeopard EnglishLanguage "Leopard Mac OS X Snow Leopard – 10.6") ComputingBrands.kif 401-401
(documentation MacOSXSnowLeopard JapaneseLanguage "Leopard Mac OS X Snow Leopard – 10.6") ComputingBrands.kif 404-404
(subclass MacOSXSnowLeopard AppleMacOSX) ComputingBrands.kif 421-421 Snow Leopard is a subclass of Apple mac oSX

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


(termFormat ChineseLanguage MacOSXSnowLeopard "Mac OS 10.6") ComputingBrands.kif 408-408
(termFormat ChineseLanguage MacOSXSnowLeopard "Mac OS Snow Leopard") ComputingBrands.kif 413-413
(termFormat ChineseLanguage MacOSXSnowLeopard "Snow Leopard") ComputingBrands.kif 418-418
(termFormat ChineseTraditionalLanguage MacOSXSnowLeopard "Mac OS 10.6") ComputingBrands.kif 407-407
(termFormat ChineseTraditionalLanguage MacOSXSnowLeopard "Mac OS Snow Leopard") ComputingBrands.kif 412-412
(termFormat ChineseTraditionalLanguage MacOSXSnowLeopard "Snow Leopard") ComputingBrands.kif 417-417
(termFormat EnglishLanguage MacOSXSnowLeopard "Mac OS 10.6") ComputingBrands.kif 406-406
(termFormat EnglishLanguage MacOSXSnowLeopard "Mac OS Snow Leopard") ComputingBrands.kif 411-411
(termFormat EnglishLanguage MacOSXSnowLeopard "Snow Leopard") ComputingBrands.kif 416-416
(termFormat JapaneseLanguage MacOSXSnowLeopard "Mac OS 10.6") ComputingBrands.kif 409-409
(termFormat JapaneseLanguage MacOSXSnowLeopard "Mac OS Snow Leopard") ComputingBrands.kif 414-414
(termFormat JapaneseLanguage MacOSXSnowLeopard "Snow Leopard") ComputingBrands.kif 419-419


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