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	子類 Windows 10 and WindowsOS
(subclass Windows7 WindowsOS)	ComputingBrands.kif 1095-1095	子類 Windows 7 and WindowsOS
(subclass Windows8 WindowsOS)	ComputingBrands.kif 1106-1106	子類 Windows 8 and WindowsOS
(subclass Windows8_1 WindowsOS)	ComputingBrands.kif 1117-1117	子類 Windows 8.1 and WindowsOS
(subclass Windows98 WindowsOS)	ComputingBrands.kif 1051-1051	子類 Windows 98 and WindowsOS
(subclass WindowsME WindowsOS)	ComputingBrands.kif 1062-1062	子類 Windows ME and WindowsOS
(subclass WindowsOS1 WindowsOS)	ComputingBrands.kif 1006-1006	子類 Windows 1.0 and WindowsOS
(subclass WindowsOS2 WindowsOS)	ComputingBrands.kif 1017-1017	子類 Windows 2.0 and WindowsOS
(subclass WindowsOS3 WindowsOS)	ComputingBrands.kif 1028-1028	子類 Windows 3 and WindowsOS
(subclass WindowsOS95 WindowsOS)	ComputingBrands.kif 1040-1040	子類 Windows 95 and WindowsOS
(subclass WindowsVista WindowsOS)	ComputingBrands.kif 1084-1084	子類 Windows Vista and WindowsOS
(subclass WindowsXP WindowsOS)	ComputingBrands.kif 1073-1073	子類 Windows XP and 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