Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 EnglishLanguage "Mac OS X 10.0 – code name Cheetah") ComputingBrands.kif 276-276
(documentation MacOSX10_0 ChineseTraditionalLanguage "Mac OS X 10.0 – 代號為 Cheetah") ComputingBrands.kif 277-277
(documentation MacOSX10_0 ChineseLanguage "Mac OS X 10.0 – 代号为 Cheetah") ComputingBrands.kif 278-278
(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 EnglishLanguage MacOSX10_0 "Mac OS 10.0") ComputingBrands.kif 280-280
(termFormat ChineseTraditionalLanguage MacOSX10_0 "Mac OS 10.0") ComputingBrands.kif 281-281
(termFormat ChineseLanguage MacOSX10_0 "Mac OS 10.0") ComputingBrands.kif 282-282
(termFormat JapaneseLanguage MacOSX10_0 "Mac OS 10.0") ComputingBrands.kif 283-283
(termFormat EnglishLanguage MacOSX10_0 "Mac OS Cheetah") ComputingBrands.kif 285-285
(termFormat ChineseTraditionalLanguage MacOSX10_0 "Mac OS Cheetah") ComputingBrands.kif 286-286
(termFormat ChineseLanguage MacOSX10_0 "Mac OS Cheetah") ComputingBrands.kif 287-287
(termFormat JapaneseLanguage MacOSX10_0 "Mac OS Cheetah") ComputingBrands.kif 288-288
(termFormat EnglishLanguage MacOSX10_0 "Cheetah") ComputingBrands.kif 290-290
(termFormat ChineseTraditionalLanguage MacOSX10_0 "Cheetah") ComputingBrands.kif 291-291
(termFormat ChineseLanguage MacOSX10_0 "Cheetah") ComputingBrands.kif 292-292
(termFormat JapaneseLanguage MacOSX10_0 "Cheetah") ComputingBrands.kif 293-293


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners