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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MacOSXLeopard

Sigma KEE - MacOSXLeopard
MacOSXLeopard

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


(documentation MacOSXLeopard ChineseLanguage "Mac OS X Leopard – 10.5") ComputingBrands.kif 375-375
(documentation MacOSXLeopard ChineseTraditionalLanguage "Mac OS X Leopard – 10.5") ComputingBrands.kif 374-374
(documentation MacOSXLeopard EnglishLanguage "Mac OS X Leopard – 10.5") ComputingBrands.kif 373-373
(documentation MacOSXLeopard JapaneseLanguage "Mac OS X Leopard – 10.5") ComputingBrands.kif 376-376
(subclass MacOSXLeopard AppleMacOSX) ComputingBrands.kif 392-392

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


(termFormat ChineseLanguage MacOSXLeopard "Leopard") ComputingBrands.kif 390-390
(termFormat ChineseLanguage MacOSXLeopard "Mac OS 10.5") ComputingBrands.kif 380-380
(termFormat ChineseLanguage MacOSXLeopard "Mac OS Leopard") ComputingBrands.kif 385-385
(termFormat ChineseTraditionalLanguage MacOSXLeopard "Leopard") ComputingBrands.kif 389-389
(termFormat ChineseTraditionalLanguage MacOSXLeopard "Mac OS 10.5") ComputingBrands.kif 379-379
(termFormat ChineseTraditionalLanguage MacOSXLeopard "Mac OS Leopard") ComputingBrands.kif 384-384
(termFormat EnglishLanguage MacOSXLeopard "Leopard") ComputingBrands.kif 388-388
(termFormat EnglishLanguage MacOSXLeopard "Mac OS 10.5") ComputingBrands.kif 378-378
(termFormat EnglishLanguage MacOSXLeopard "Mac OS Leopard") ComputingBrands.kif 383-383
(termFormat JapaneseLanguage MacOSXLeopard "Leopard") ComputingBrands.kif 391-391
(termFormat JapaneseLanguage MacOSXLeopard "Mac OS 10.5") ComputingBrands.kif 381-381
(termFormat JapaneseLanguage MacOSXLeopard "Mac OS Leopard") ComputingBrands.kif 386-386


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