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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MacOSXTiger

Sigma KEE - MacOSXTiger
MacOSXTiger

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


(documentation MacOSXTiger ChineseLanguage "Mac OS X Tiger – 10.4") ComputingBrands.kif 354-354
(documentation MacOSXTiger ChineseTraditionalLanguage "Mac OS X Tiger – 10.4") ComputingBrands.kif 353-353
(documentation MacOSXTiger EnglishLanguage "Mac OS X Tiger – 10.4") ComputingBrands.kif 352-352
(documentation MacOSXTiger JapaneseLanguage "Mac OS X Tiger – 10.4") ComputingBrands.kif 355-355
(subclass MacOSXTiger AppleMacOSX) ComputingBrands.kif 371-371

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


(termFormat ChineseLanguage MacOSXTiger "Mac OS 10.4") ComputingBrands.kif 359-359
(termFormat ChineseLanguage MacOSXTiger "Mac OS Tiger") ComputingBrands.kif 364-364
(termFormat ChineseLanguage MacOSXTiger "Tiger") ComputingBrands.kif 369-369
(termFormat ChineseTraditionalLanguage MacOSXTiger "Mac OS 10.4") ComputingBrands.kif 358-358
(termFormat ChineseTraditionalLanguage MacOSXTiger "Mac OS Tiger") ComputingBrands.kif 363-363
(termFormat ChineseTraditionalLanguage MacOSXTiger "Tiger") ComputingBrands.kif 368-368
(termFormat EnglishLanguage MacOSXTiger "Mac OS 10.4") ComputingBrands.kif 357-357
(termFormat EnglishLanguage MacOSXTiger "Mac OS Tiger") ComputingBrands.kif 362-362
(termFormat EnglishLanguage MacOSXTiger "Tiger") ComputingBrands.kif 367-367
(termFormat JapaneseLanguage MacOSXTiger "Mac OS 10.4") ComputingBrands.kif 360-360
(termFormat JapaneseLanguage MacOSXTiger "Mac OS Tiger") ComputingBrands.kif 365-365
(termFormat JapaneseLanguage MacOSXTiger "Tiger") ComputingBrands.kif 370-370


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