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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WindowsOS95
WindowsOS95(Windows 95)

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


(documentation WindowsOS95 ChineseLanguage "微软 Windows 95 (1995)") ComputingBrands.kif 1032-1032
(documentation WindowsOS95 ChineseTraditionalLanguage "微軟 Windows 95 (1995)") ComputingBrands.kif 1031-1031
(documentation WindowsOS95 EnglishLanguage "Microsoft Windows 95 (1995)") ComputingBrands.kif 1030-1030
(documentation WindowsOS95 JapaneseLanguage "Microsoft Windows 95 (1995)") ComputingBrands.kif 1033-1033
(subclass WindowsOS95 WindowsOS) ComputingBrands.kif 1040-1040 Windows 95 is a subclass of windows OS

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


(termFormat ChineseLanguage WindowsOS95 "Windows 95") ComputingBrands.kif 1037-1037
(termFormat ChineseTraditionalLanguage WindowsOS95 "Windows 95") ComputingBrands.kif 1036-1036
(termFormat EnglishLanguage WindowsOS95 "Windows 95") ComputingBrands.kif 1035-1035
(termFormat JapaneseLanguage WindowsOS95 "Windows 95") ComputingBrands.kif 1038-1038


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