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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - WindowsOS3

appearance as argument number 1

(documentation WindowsOS3 ChineseLanguage "微软 Windows 3.x (1990)") ComputingBrands.kif 1021-1021
(documentation WindowsOS3 ChineseTraditionalLanguage "微軟 Windows 3.x (1990)") ComputingBrands.kif 1020-1020
(documentation WindowsOS3 EnglishLanguage "Microsoft Windows 3.x (1990)") ComputingBrands.kif 1019-1019
(documentation WindowsOS3 JapaneseLanguage "Microsoft Windows 3.x (1990)") ComputingBrands.kif 1022-1022
(subclass WindowsOS3 WindowsOS) ComputingBrands.kif 1028-1028

appearance as argument number 2

(termFormat ChineseLanguage WindowsOS3 "Windows 3") ComputingBrands.kif 1026-1026
(termFormat ChineseTraditionalLanguage WindowsOS3 "Windows 3") ComputingBrands.kif 1025-1025
(termFormat EnglishLanguage WindowsOS3 "Windows 3") ComputingBrands.kif 1024-1024
(termFormat JapaneseLanguage WindowsOS3 "Windows 3") ComputingBrands.kif 1027-1027

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