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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WindowsOS
WindowsOS

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


(subclass WindowsOS OperatingSystem) ComputingBrands.kif 57-57 WindowsOS is a subclass of operating system

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


(subclass Windows10 WindowsOS) ComputingBrands.kif 1096-1096 Windows 10 is a subclass of WindowsOS
(subclass Windows7 WindowsOS) ComputingBrands.kif 1063-1063 Windows 7 is a subclass of WindowsOS
(subclass Windows8 WindowsOS) ComputingBrands.kif 1074-1074 Windows 8 is a subclass of WindowsOS
(subclass Windows8-1 WindowsOS) ComputingBrands.kif 1085-1085 Windows 8.1 is a subclass of WindowsOS
(subclass Windows98 WindowsOS) ComputingBrands.kif 1019-1019 Windows 98 is a subclass of WindowsOS
(subclass WindowsME WindowsOS) ComputingBrands.kif 1030-1030 Windows ME is a subclass of WindowsOS
(subclass WindowsOS1 WindowsOS) ComputingBrands.kif 974-974 Windows 1.0 is a subclass of WindowsOS
(subclass WindowsOS2 WindowsOS) ComputingBrands.kif 985-985 Windows 2.0 is a subclass of WindowsOS
(subclass WindowsOS3 WindowsOS) ComputingBrands.kif 996-996 Windows 3 is a subclass of WindowsOS
(subclass WindowsOS95 WindowsOS) ComputingBrands.kif 1008-1008 Windows 95 is a subclass of WindowsOS
(subclass WindowsVista WindowsOS) ComputingBrands.kif 1052-1052 Windows Vista is a subclass of WindowsOS
(subclass WindowsXP WindowsOS) ComputingBrands.kif 1041-1041 Windows XP is a subclass of WindowsOS

antecedent
-------------------------


(=>
    (subclass ?OS WindowsOS)
    (creator MicrosoftCorporation ?OS))
ComputingBrands.kif 59-61


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