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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WindowsOS2
WindowsOS2(Windows 2.0)

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


(documentation WindowsOS2 ChineseLanguage "微软Windows 2.0 (1987)") ComputingBrands.kif 1010-1010
(documentation WindowsOS2 ChineseTraditionalLanguage "微軟Windows 2.0 (1987)") ComputingBrands.kif 1009-1009
(documentation WindowsOS2 EnglishLanguage "Microsoft Windows 2.0 (1987)") ComputingBrands.kif 1008-1008
(documentation WindowsOS2 JapaneseLanguage "Microsoft Windows 2.0 (1987)") ComputingBrands.kif 1011-1011
(subclass WindowsOS2 WindowsOS) ComputingBrands.kif 1017-1017 Windows 2.0 is a subclass of windows OS

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


(termFormat ChineseLanguage WindowsOS2 "Windows 2.0") ComputingBrands.kif 1015-1015
(termFormat ChineseTraditionalLanguage WindowsOS2 "Windows 2.0") ComputingBrands.kif 1014-1014
(termFormat EnglishLanguage WindowsOS2 "Windows 2.0") ComputingBrands.kif 1013-1013
(termFormat JapaneseLanguage WindowsOS2 "Windows 2.0") ComputingBrands.kif 1016-1016


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