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 271-271
(documentation MacOSX10-0 ChineseTraditionalLanguage "Mac OS X 10.0 – 代號為 Cheetah") ComputingBrands.kif 270-270
(documentation MacOSX10-0 EnglishLanguage "Mac OS X 10.0 – code name Cheetah") ComputingBrands.kif 269-269
(documentation MacOSX10-0 JapaneseLanguage "Mac OS X 10.0 – コードネーム Cheetah") ComputingBrands.kif 272-272
(subclass MacOSX10-0 AppleMacOSX) ComputingBrands.kif 287-287

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


(termFormat ChineseLanguage MacOSX10-0 "Cheetah") ComputingBrands.kif 285-285
(termFormat ChineseLanguage MacOSX10-0 "Mac OS 10.0") ComputingBrands.kif 275-275
(termFormat ChineseLanguage MacOSX10-0 "Mac OS Cheetah") ComputingBrands.kif 280-280
(termFormat ChineseTraditionalLanguage MacOSX10-0 "Cheetah") ComputingBrands.kif 284-284
(termFormat ChineseTraditionalLanguage MacOSX10-0 "Mac OS 10.0") ComputingBrands.kif 274-274
(termFormat ChineseTraditionalLanguage MacOSX10-0 "Mac OS Cheetah") ComputingBrands.kif 279-279
(termFormat EnglishLanguage MacOSX10-0 "Cheetah") ComputingBrands.kif 283-283
(termFormat EnglishLanguage MacOSX10-0 "Mac OS 10.0") ComputingBrands.kif 273-273
(termFormat EnglishLanguage MacOSX10-0 "Mac OS Cheetah") ComputingBrands.kif 278-278
(termFormat JapaneseLanguage MacOSX10-0 "Cheetah") ComputingBrands.kif 286-286
(termFormat JapaneseLanguage MacOSX10-0 "Mac OS 10.0") ComputingBrands.kif 276-276
(termFormat JapaneseLanguage MacOSX10-0 "Mac OS Cheetah") ComputingBrands.kif 281-281


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