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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSXLion
MacOSXLion(Lion)

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


(documentation MacOSXLion ChineseLanguage "Mac OS X Lion – 10.7 – 也称为 OS X Lion") ComputingBrands.kif 425-426
(documentation MacOSXLion ChineseTraditionalLanguage "Mac OS X Lion – 10.7 – 也稱為 OS X Lion") ComputingBrands.kif 424-424
(documentation MacOSXLion EnglishLanguage "Mac OS X Lion – 10.7 – also marketed as OS X Lion") ComputingBrands.kif 423-423
(documentation MacOSXLion JapaneseLanguage "Mac OS X Lion – 10.7 – 別名OS X Lion") ComputingBrands.kif 427-427
(subclass MacOSXLion AppleMacOSX) ComputingBrands.kif 443-443 Lion is a subclass of Apple mac oSX

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


(termFormat ChineseLanguage MacOSXLion "Lion") ComputingBrands.kif 441-441
(termFormat ChineseLanguage MacOSXLion "Mac OS 10.7") ComputingBrands.kif 431-431
(termFormat ChineseLanguage MacOSXLion "Mac OS Lion") ComputingBrands.kif 436-436
(termFormat ChineseTraditionalLanguage MacOSXLion "Lion") ComputingBrands.kif 440-440
(termFormat ChineseTraditionalLanguage MacOSXLion "Mac OS 10.7") ComputingBrands.kif 430-430
(termFormat ChineseTraditionalLanguage MacOSXLion "Mac OS Lion") ComputingBrands.kif 435-435
(termFormat EnglishLanguage MacOSXLion "Lion") ComputingBrands.kif 439-439
(termFormat EnglishLanguage MacOSXLion "Mac OS 10.7") ComputingBrands.kif 429-429
(termFormat EnglishLanguage MacOSXLion "Mac OS Lion") ComputingBrands.kif 434-434
(termFormat JapaneseLanguage MacOSXLion "Lion") ComputingBrands.kif 442-442
(termFormat JapaneseLanguage MacOSXLion "Mac OS 10.7") ComputingBrands.kif 432-432
(termFormat JapaneseLanguage MacOSXLion "Mac OS Lion") ComputingBrands.kif 437-437


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