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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSX10_0
MacOSX10_0(Cheetah)

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 Cheetah is a subclass of Apple mac oSX

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 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