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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Windows8
Windows8

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


(documentation Windows8 ChineseLanguage "微软 Windows 8 (2012)") ComputingBrands.kif 1099-1099
(documentation Windows8 ChineseTraditionalLanguage "微軟 Windows 8 (2012)") ComputingBrands.kif 1098-1098
(documentation Windows8 EnglishLanguage "Microsoft Windows 8 (2012)") ComputingBrands.kif 1097-1097
(documentation Windows8 JapaneseLanguage "Microsoft Windows 8 (2012)") ComputingBrands.kif 1100-1100
(subclass Windows8 WindowsOS) ComputingBrands.kif 1106-1106

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


(termFormat ChineseLanguage Windows8 "Windows 8") ComputingBrands.kif 1104-1104
(termFormat ChineseTraditionalLanguage Windows8 "Windows 8") ComputingBrands.kif 1103-1103
(termFormat EnglishLanguage Windows8 "Windows 8") ComputingBrands.kif 1102-1102
(termFormat JapaneseLanguage Windows8 "Windows 8") ComputingBrands.kif 1105-1105


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