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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSXTiger
MacOSXTiger

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


(documentation MacOSXTiger ChineseLanguage "Mac OS X Tiger – 10.4") ComputingBrands.kif 361-361
(documentation MacOSXTiger ChineseTraditionalLanguage "Mac OS X Tiger – 10.4") ComputingBrands.kif 360-360
(documentation MacOSXTiger EnglishLanguage "Mac OS X Tiger – 10.4") ComputingBrands.kif 359-359
(documentation MacOSXTiger JapaneseLanguage "Mac OS X Tiger – 10.4") ComputingBrands.kif 362-362
(subclass MacOSXTiger AppleMacOSX) ComputingBrands.kif 378-378 MacOSXTiger est une sous-classe de AppleMacOSX

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


(termFormat ChineseLanguage MacOSXTiger "Mac OS 10.4") ComputingBrands.kif 366-366
(termFormat ChineseLanguage MacOSXTiger "Mac OS Tiger") ComputingBrands.kif 371-371
(termFormat ChineseLanguage MacOSXTiger "Tiger") ComputingBrands.kif 376-376
(termFormat ChineseTraditionalLanguage MacOSXTiger "Mac OS 10.4") ComputingBrands.kif 365-365
(termFormat ChineseTraditionalLanguage MacOSXTiger "Mac OS Tiger") ComputingBrands.kif 370-370
(termFormat ChineseTraditionalLanguage MacOSXTiger "Tiger") ComputingBrands.kif 375-375
(termFormat EnglishLanguage MacOSXTiger "Mac OS 10.4") ComputingBrands.kif 364-364
(termFormat EnglishLanguage MacOSXTiger "Mac OS Tiger") ComputingBrands.kif 369-369
(termFormat EnglishLanguage MacOSXTiger "Tiger") ComputingBrands.kif 374-374
(termFormat JapaneseLanguage MacOSXTiger "Mac OS 10.4") ComputingBrands.kif 367-367
(termFormat JapaneseLanguage MacOSXTiger "Mac OS Tiger") ComputingBrands.kif 372-372
(termFormat JapaneseLanguage MacOSXTiger "Tiger") ComputingBrands.kif 377-377


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