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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MacOSXElCapitan
MacOSXElCapitan

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


(documentation MacOSXElCapitan ChineseLanguage "OS X El Capitan – 10.11") ComputingBrands.kif 508-508
(documentation MacOSXElCapitan ChineseTraditionalLanguage "OS X El Capitan – 10.11") ComputingBrands.kif 507-507
(documentation MacOSXElCapitan EnglishLanguage "OS X El Capitan – 10.11") ComputingBrands.kif 506-506
(documentation MacOSXElCapitan JapaneseLanguage "OS X El Capitan – 10.11") ComputingBrands.kif 509-509
(subclass MacOSXElCapitan AppleMacOSX) ComputingBrands.kif 525-525

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


(termFormat ChineseLanguage MacOSXElCapitan "El Capitan") ComputingBrands.kif 523-523
(termFormat ChineseLanguage MacOSXElCapitan "Mac OS El Capitan") ComputingBrands.kif 518-518
(termFormat ChineseLanguage MacOSXElCapitan "OS 10.11") ComputingBrands.kif 513-513
(termFormat ChineseTraditionalLanguage MacOSXElCapitan "El Capitan") ComputingBrands.kif 522-522
(termFormat ChineseTraditionalLanguage MacOSXElCapitan "Mac OS El Capitan") ComputingBrands.kif 517-517
(termFormat ChineseTraditionalLanguage MacOSXElCapitan "OS 10.11") ComputingBrands.kif 512-512
(termFormat EnglishLanguage MacOSXElCapitan "El Capitan") ComputingBrands.kif 521-521
(termFormat EnglishLanguage MacOSXElCapitan "Mac OS El Capitan") ComputingBrands.kif 516-516
(termFormat EnglishLanguage MacOSXElCapitan "OS 10.11") ComputingBrands.kif 511-511
(termFormat JapaneseLanguage MacOSXElCapitan "El Capitan") ComputingBrands.kif 524-524
(termFormat JapaneseLanguage MacOSXElCapitan "Mac OS El Capitan") ComputingBrands.kif 519-519
(termFormat JapaneseLanguage MacOSXElCapitan "OS 10.11") ComputingBrands.kif 514-514


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