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



KB Term:  Term intersection
English Word: 

  ComputerBackingUp

Sigma KEE - WindowsOS2
WindowsOS2(Windows 2.0)

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


(documentation WindowsOS2 EnglishLanguage "Microsoft Windows 2.0 (1987)") ComputingBrands.kif 1008-1008
(documentation WindowsOS2 ChineseTraditionalLanguage "微軟Windows 2.0 (1987)") ComputingBrands.kif 1009-1009
(documentation WindowsOS2 ChineseLanguage "微软Windows 2.0 (1987)") ComputingBrands.kif 1010-1010
(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 EnglishLanguage WindowsOS2 "Windows 2.0") ComputingBrands.kif 1013-1013
(termFormat ChineseTraditionalLanguage WindowsOS2 "Windows 2.0") ComputingBrands.kif 1014-1014
(termFormat ChineseLanguage WindowsOS2 "Windows 2.0") ComputingBrands.kif 1015-1015
(termFormat JapaneseLanguage WindowsOS2 "Windows 2.0") ComputingBrands.kif 1016-1016


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners