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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Windows7
Windows7(Windows 7)

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


(documentation Windows7 ChineseLanguage "微软 Windows 7 (2009)") ComputingBrands.kif 1088-1088
(documentation Windows7 ChineseTraditionalLanguage "微軟 Windows 7 (2009)") ComputingBrands.kif 1087-1087
(documentation Windows7 EnglishLanguage "Microsoft Windows 7 (2009)") ComputingBrands.kif 1086-1086
(documentation Windows7 JapaneseLanguage "Microsoft Windows 7 (2009)") ComputingBrands.kif 1089-1089
(subclass Windows7 WindowsOS) ComputingBrands.kif 1095-1095 Windows 7WindowsOSsubclass では %n

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


(termFormat ChineseLanguage Windows7 "Windows 7") ComputingBrands.kif 1093-1093
(termFormat ChineseTraditionalLanguage Windows7 "Windows 7") ComputingBrands.kif 1092-1092
(termFormat EnglishLanguage Windows7 "Windows 7") ComputingBrands.kif 1091-1091
(termFormat JapaneseLanguage Windows7 "Windows 7") ComputingBrands.kif 1094-1094


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