TreeView Knowledge Base Browser

appearance as argument number 1

ComputingBrands.kif 60-60

appearance as argument number 2

(subclass Windows10 WindowsOS)	ComputingBrands.kif 1128-1128	Windows10 ist eine teilkategorie von WindowsOS
(subclass Windows7 WindowsOS)	ComputingBrands.kif 1095-1095	Windows7 ist eine teilkategorie von WindowsOS
(subclass Windows8 WindowsOS)	ComputingBrands.kif 1106-1106	Windows8 ist eine teilkategorie von WindowsOS
(subclass Windows8_1 WindowsOS)	ComputingBrands.kif 1117-1117	Windows8_1 ist eine teilkategorie von WindowsOS
(subclass Windows98 WindowsOS)	ComputingBrands.kif 1051-1051	Windows98 ist eine teilkategorie von WindowsOS
(subclass WindowsME WindowsOS)	ComputingBrands.kif 1062-1062	WindowsME ist eine teilkategorie von WindowsOS
(subclass WindowsOS1 WindowsOS)	ComputingBrands.kif 1006-1006	WindowsOS1 ist eine teilkategorie von WindowsOS
(subclass WindowsOS2 WindowsOS)	ComputingBrands.kif 1017-1017	WindowsOS2 ist eine teilkategorie von WindowsOS
(subclass WindowsOS3 WindowsOS)	ComputingBrands.kif 1028-1028	WindowsOS3 ist eine teilkategorie von WindowsOS
(subclass WindowsOS95 WindowsOS)	ComputingBrands.kif 1040-1040	WindowsOS95 ist eine teilkategorie von WindowsOS
(subclass WindowsVista WindowsOS)	ComputingBrands.kif 1084-1084	WindowsVista ist eine teilkategorie von WindowsOS
(subclass WindowsXP WindowsOS)	ComputingBrands.kif 1073-1073	WindowsXP ist eine teilkategorie von WindowsOS
(termFormat EnglishLanguage WindowsOS "windows OS")	domainEnglishFormat.kif 65738-65738

antecedent

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

ComputingBrands.kif 62-66