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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSXYosemite
MacOSXYosemite

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


(documentation MacOSXYosemite ChineseLanguage "OS X Yosemite – 10.10") ComputingBrands.kif 486-486
(documentation MacOSXYosemite ChineseTraditionalLanguage "OS X Yosemite – 10.10") ComputingBrands.kif 485-485
(documentation MacOSXYosemite EnglishLanguage "OS X Yosemite – 10.10") ComputingBrands.kif 484-484
(documentation MacOSXYosemite JapaneseLanguage "OS X Yosemite – 10.10") ComputingBrands.kif 487-487
(subclass MacOSXYosemite AppleMacOSX) ComputingBrands.kif 504-504 MacOSXYosemite est une sous-classe de AppleMacOSX

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


(termFormat ChineseLanguage MacOSXYosemite "Mac OS Yosemite") ComputingBrands.kif 496-496
(termFormat ChineseLanguage MacOSXYosemite "OS 10.10") ComputingBrands.kif 491-491
(termFormat ChineseLanguage MacOSXYosemite "Yosemite") ComputingBrands.kif 501-501
(termFormat ChineseTraditionalLanguage MacOSXYosemite "Mac OS Yosemite") ComputingBrands.kif 495-495
(termFormat ChineseTraditionalLanguage MacOSXYosemite "OS 10.10") ComputingBrands.kif 490-490
(termFormat ChineseTraditionalLanguage MacOSXYosemite "Yosemite") ComputingBrands.kif 500-500
(termFormat EnglishLanguage MacOSXYosemite "Mac OS Yosemite") ComputingBrands.kif 494-494
(termFormat EnglishLanguage MacOSXYosemite "OS 10.10") ComputingBrands.kif 489-489
(termFormat EnglishLanguage MacOSXYosemite "Yosemite") ComputingBrands.kif 499-499
(termFormat JapaneseLanguage MacOSXYosemite "Mac OS Yosemite") ComputingBrands.kif 497-497
(termFormat JapaneseLanguage MacOSXYosemite "OS 10.10") ComputingBrands.kif 492-492
(termFormat JapaneseLanguage MacOSXYosemite "Yosemite") ComputingBrands.kif 502-502


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