WindowsOS - Sigma Knowledge base Browser

appearance as argument number 1

ComputingBrands.kif 60-60

appearance as argument number 2

(subclass Windows10 WindowsOS)	ComputingBrands.kif 1128-1128	Windows 10 is a subclass of windows OS
(subclass Windows7 WindowsOS)	ComputingBrands.kif 1095-1095	Windows 7 is a subclass of windows OS
(subclass Windows8 WindowsOS)	ComputingBrands.kif 1106-1106	Windows 8 is a subclass of windows OS
(subclass Windows8_1 WindowsOS)	ComputingBrands.kif 1117-1117	Windows 8.1 is a subclass of windows OS
(subclass Windows98 WindowsOS)	ComputingBrands.kif 1051-1051	Windows 98 is a subclass of windows OS
(subclass WindowsME WindowsOS)	ComputingBrands.kif 1062-1062	Windows ME is a subclass of windows OS
(subclass WindowsOS1 WindowsOS)	ComputingBrands.kif 1006-1006	Windows 1.0 is a subclass of windows OS
(subclass WindowsOS2 WindowsOS)	ComputingBrands.kif 1017-1017	Windows 2.0 is a subclass of windows OS
(subclass WindowsOS3 WindowsOS)	ComputingBrands.kif 1028-1028	Windows 3 is a subclass of windows OS
(subclass WindowsOS95 WindowsOS)	ComputingBrands.kif 1040-1040	Windows 95 is a subclass of windows OS
(subclass WindowsVista WindowsOS)	ComputingBrands.kif 1084-1084	Windows Vista is a subclass of windows OS
(subclass WindowsXP WindowsOS)	ComputingBrands.kif 1073-1073	Windows XP is a subclass of windows OS
(termFormat EnglishLanguage WindowsOS "windows OS")	domainEnglishFormat.kif 65738-65738

antecedent

(=>
    (and
        (subclass ?OS WindowsOS)
        (instance ?INST ?OS))
    (creator MicrosoftCorporation ?INST))

ComputingBrands.kif 62-66