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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSXLeopard
MacOSXLeopard(Leopard)

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


(documentation MacOSXLeopard ChineseLanguage "Mac OS X Leopard – 10.5") ComputingBrands.kif 382-382
(documentation MacOSXLeopard ChineseTraditionalLanguage "Mac OS X Leopard – 10.5") ComputingBrands.kif 381-381
(documentation MacOSXLeopard EnglishLanguage "Mac OS X Leopard – 10.5") ComputingBrands.kif 380-380
(documentation MacOSXLeopard JapaneseLanguage "Mac OS X Leopard – 10.5") ComputingBrands.kif 383-383
(subclass MacOSXLeopard AppleMacOSX) ComputingBrands.kif 399-399 Leopard is a subclass of Apple mac oSX

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


(termFormat ChineseLanguage MacOSXLeopard "Leopard") ComputingBrands.kif 397-397
(termFormat ChineseLanguage MacOSXLeopard "Mac OS 10.5") ComputingBrands.kif 387-387
(termFormat ChineseLanguage MacOSXLeopard "Mac OS Leopard") ComputingBrands.kif 392-392
(termFormat ChineseTraditionalLanguage MacOSXLeopard "Leopard") ComputingBrands.kif 396-396
(termFormat ChineseTraditionalLanguage MacOSXLeopard "Mac OS 10.5") ComputingBrands.kif 386-386
(termFormat ChineseTraditionalLanguage MacOSXLeopard "Mac OS Leopard") ComputingBrands.kif 391-391
(termFormat EnglishLanguage MacOSXLeopard "Leopard") ComputingBrands.kif 395-395
(termFormat EnglishLanguage MacOSXLeopard "Mac OS 10.5") ComputingBrands.kif 385-385
(termFormat EnglishLanguage MacOSXLeopard "Mac OS Leopard") ComputingBrands.kif 390-390
(termFormat JapaneseLanguage MacOSXLeopard "Leopard") ComputingBrands.kif 398-398
(termFormat JapaneseLanguage MacOSXLeopard "Mac OS 10.5") ComputingBrands.kif 388-388
(termFormat JapaneseLanguage MacOSXLeopard "Mac OS Leopard") ComputingBrands.kif 393-393


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