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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Windows8_1
Windows8_1(Windows 8.1)

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


(documentation Windows8_1 ChineseLanguage "微软 Windows 8.1 (2013)") ComputingBrands.kif 1110-1110
(documentation Windows8_1 ChineseTraditionalLanguage "微軟 Windows 8.1 (2013)") ComputingBrands.kif 1109-1109
(documentation Windows8_1 EnglishLanguage "Microsoft Windows 8.1 (2013)") ComputingBrands.kif 1108-1108
(documentation Windows8_1 JapaneseLanguage "Microsoft Windows 8.1 (2013)") ComputingBrands.kif 1111-1111
(subclass Windows8_1 WindowsOS) ComputingBrands.kif 1117-1117 Windows 8.1 is a subclass of windows OS

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


(termFormat ChineseLanguage Windows8_1 "Windows 8.1") ComputingBrands.kif 1115-1115
(termFormat ChineseTraditionalLanguage Windows8_1 "Windows 8.1") ComputingBrands.kif 1114-1114
(termFormat EnglishLanguage Windows8_1 "Windows 8.1") ComputingBrands.kif 1113-1113
(termFormat JapaneseLanguage Windows8_1 "Windows 8.1") ComputingBrands.kif 1116-1116


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