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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MacOSX10-0

Sigma KEE - MacOSX10-0
MacOSX10-0

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


(documentation MacOSX10-0 ChineseLanguage "Mac OS X 10.0 – 代号为 Cheetah") ComputingBrands.kif 278-278
(documentation MacOSX10-0 ChineseTraditionalLanguage "Mac OS X 10.0 – 代號為 Cheetah") ComputingBrands.kif 277-277
(documentation MacOSX10-0 EnglishLanguage "Mac OS X 10.0 – code name Cheetah") ComputingBrands.kif 276-276
(documentation MacOSX10-0 JapaneseLanguage "Mac OS X 10.0 – コードネーム Cheetah") ComputingBrands.kif 279-279
(subclass MacOSX10-0 AppleMacOSX) ComputingBrands.kif 294-294

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


(termFormat ChineseLanguage MacOSX10-0 "Cheetah") ComputingBrands.kif 292-292
(termFormat ChineseLanguage MacOSX10-0 "Mac OS 10.0") ComputingBrands.kif 282-282
(termFormat ChineseLanguage MacOSX10-0 "Mac OS Cheetah") ComputingBrands.kif 287-287
(termFormat ChineseTraditionalLanguage MacOSX10-0 "Cheetah") ComputingBrands.kif 291-291
(termFormat ChineseTraditionalLanguage MacOSX10-0 "Mac OS 10.0") ComputingBrands.kif 281-281
(termFormat ChineseTraditionalLanguage MacOSX10-0 "Mac OS Cheetah") ComputingBrands.kif 286-286
(termFormat EnglishLanguage MacOSX10-0 "Cheetah") ComputingBrands.kif 290-290
(termFormat EnglishLanguage MacOSX10-0 "Mac OS 10.0") ComputingBrands.kif 280-280
(termFormat EnglishLanguage MacOSX10-0 "Mac OS Cheetah") ComputingBrands.kif 285-285
(termFormat JapaneseLanguage MacOSX10-0 "Cheetah") ComputingBrands.kif 293-293
(termFormat JapaneseLanguage MacOSX10-0 "Mac OS 10.0") ComputingBrands.kif 283-283
(termFormat JapaneseLanguage MacOSX10-0 "Mac OS Cheetah") ComputingBrands.kif 288-288


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