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



KB Term:  Term intersection
English Word: 

  ConstructedLanguage

Sigma KEE - MacOSXLeopard
MacOSXLeopard(Leopard)

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


(documentation MacOSXLeopard EnglishLanguage "Mac OS X Leopard – 10.5") ComputingBrands.kif 380-380
(documentation MacOSXLeopard ChineseTraditionalLanguage "Mac OS X Leopard – 10.5") ComputingBrands.kif 381-381
(documentation MacOSXLeopard ChineseLanguage "Mac OS X Leopard – 10.5") ComputingBrands.kif 382-382
(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 EnglishLanguage MacOSXLeopard "Mac OS 10.5") ComputingBrands.kif 385-385
(termFormat ChineseTraditionalLanguage MacOSXLeopard "Mac OS 10.5") ComputingBrands.kif 386-386
(termFormat ChineseLanguage MacOSXLeopard "Mac OS 10.5") ComputingBrands.kif 387-387
(termFormat JapaneseLanguage MacOSXLeopard "Mac OS 10.5") ComputingBrands.kif 388-388
(termFormat EnglishLanguage MacOSXLeopard "Mac OS Leopard") ComputingBrands.kif 390-390
(termFormat ChineseTraditionalLanguage MacOSXLeopard "Mac OS Leopard") ComputingBrands.kif 391-391
(termFormat ChineseLanguage MacOSXLeopard "Mac OS Leopard") ComputingBrands.kif 392-392
(termFormat JapaneseLanguage MacOSXLeopard "Mac OS Leopard") ComputingBrands.kif 393-393
(termFormat EnglishLanguage MacOSXLeopard "Leopard") ComputingBrands.kif 395-395
(termFormat ChineseTraditionalLanguage MacOSXLeopard "Leopard") ComputingBrands.kif 396-396
(termFormat ChineseLanguage MacOSXLeopard "Leopard") ComputingBrands.kif 397-397
(termFormat JapaneseLanguage MacOSXLeopard "Leopard") ComputingBrands.kif 398-398


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