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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSX10_1
MacOSX10_1(Puma)

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


(documentation MacOSX10_1 ChineseLanguage "Mac OS X 10.1 – 代号为 Puma") ComputingBrands.kif 298-298
(documentation MacOSX10_1 ChineseTraditionalLanguage "Mac OS X 10.1 – 代號為 Puma") ComputingBrands.kif 297-297
(documentation MacOSX10_1 EnglishLanguage "Mac OS X 10.1 – code name Puma") ComputingBrands.kif 296-296
(documentation MacOSX10_1 JapaneseLanguage "Mac OS X 10.1 – コードネーム Puma") ComputingBrands.kif 299-299
(subclass MacOSX10_1 AppleMacOSX) ComputingBrands.kif 315-315 Puma is a subclass of Apple mac oSX

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


(termFormat ChineseLanguage MacOSX10_1 "Mac OS 10.1") ComputingBrands.kif 303-303
(termFormat ChineseLanguage MacOSX10_1 "Mac OS Puma") ComputingBrands.kif 308-308
(termFormat ChineseLanguage MacOSX10_1 "Puma") ComputingBrands.kif 312-312
(termFormat ChineseTraditionalLanguage MacOSX10_1 "Mac OS 10.1") ComputingBrands.kif 302-302
(termFormat ChineseTraditionalLanguage MacOSX10_1 "Mac OS Puma") ComputingBrands.kif 307-307
(termFormat EnglishLanguage MacOSX10_1 "Mac OS 10.1") ComputingBrands.kif 301-301
(termFormat EnglishLanguage MacOSX10_1 "Mac OS Puma") ComputingBrands.kif 306-306
(termFormat EnglishLanguage MacOSX10_1 "Puma") ComputingBrands.kif 311-311
(termFormat JapaneseLanguage MacOSX10_1 "Mac OS 10.1") ComputingBrands.kif 304-304
(termFormat JapaneseLanguage MacOSX10_1 "Mac OS Puma") ComputingBrands.kif 309-309
(termFormat JapaneseLanguage MacOSX10_1 "Puma") ComputingBrands.kif 313-313


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