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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WindowsOS1
WindowsOS1(Windows 1.0)

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


(documentation WindowsOS1 ChineseLanguage "微软 Windows 1.0 (1985)") ComputingBrands.kif 1000-1000
(documentation WindowsOS1 ChineseTraditionalLanguage "微軟 Windows 1.0 (1985)") ComputingBrands.kif 999-999
(documentation WindowsOS1 EnglishLanguage "Microsoft Windows 1.0 (1985)") ComputingBrands.kif 998-998
(documentation WindowsOS1 JapaneseLanguage "Microsoft Windows 1.0 (1985)") ComputingBrands.kif 1001-1001
(subclass WindowsOS1 WindowsOS) ComputingBrands.kif 1006-1006 Windows 1.0 is a subclass of windows OS

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


(termFormat ChineseLanguage WindowsOS1 "Windows 1.0") ComputingBrands.kif 1004-1004
(termFormat ChineseTraditionalLanguage WindowsOS1 "Windows 1.0") ComputingBrands.kif 1003-1003
(termFormat EnglishLanguage WindowsOS1 "Windows 1.0") ComputingBrands.kif 1002-1002
(termFormat JapaneseLanguage WindowsOS1 "Windows 1.0") ComputingBrands.kif 1005-1005


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