TreeView Knowledge Base Browser

appearance as argument number 1

(subclass AppleAppStore ComputerProgram)	ComputingBrands.kif 1970-1970	Apple app store is a subclass of computer program
(documentation AppleAppStore EnglishLanguage "The software and Internet site where Apple customers can download useful computer programs for their devices. Some are free and others require payment.")	ComputingBrands.kif 1973-1975	Apple app store is a subclass of computer program
(documentation AppleAppStore ChineseTraditionalLanguage "Apple客戶可以為他們的裝置下載程式藉由在其中的軟體和網頁,有些免費有些需收費。")	ComputingBrands.kif 1976-1976	Apple app store is a subclass of computer program
(documentation AppleAppStore ChineseLanguage "客户可以为他们的装置下载程式藉由在其中的软体和网页,有些免费有些需收费。")	ComputingBrands.kif 1977-1977	Apple app store is a subclass of computer program
(documentation AppleAppStore JapaneseLanguage "お客様が、デバイスに役立つコンピュータープログラムをダウンロードできるソフトウェアとインターネットのサイト。一部は無料、その他は有料。")	ComputingBrands.kif 1978-1979	Apple app store is a subclass of computer program

appearance as argument number 2

(creator AppleComputerCorporation AppleAppStore)	ComputingBrands.kif 1971-1971	Apple created Apple app store
(termFormat EnglishLanguage AppleAppStore "App store")	ComputingBrands.kif 1981-1981	Apple created Apple app store
(termFormat ChineseTraditionalLanguage AppleAppStore "App 商店")	ComputingBrands.kif 1982-1982	Apple created Apple app store
(termFormat ChineseLanguage AppleAppStore "App 商店")	ComputingBrands.kif 1983-1983	Apple created Apple app store
(termFormat JapaneseLanguage AppleAppStore " App store ")	ComputingBrands.kif 1984-1984	Apple created Apple app store
(termFormat EnglishLanguage AppleAppStore "Apple app store")	ComputingBrands.kif 1985-1985	Apple created Apple app store
(termFormat ChineseTraditionalLanguage AppleAppStore "蘋果app 商店")	ComputingBrands.kif 1986-1986	Apple created Apple app store
(termFormat ChineseLanguage AppleAppStore "蘋果app 商店")	ComputingBrands.kif 1987-1987	Apple created Apple app store
(termFormat JapaneseLanguage AppleAppStore " Apple app store ")	ComputingBrands.kif 1988-1988	Apple created Apple app store

antecedent

(=>
    (and
        (instance ?A AppleAppStore)
        (programRunning ?P ?A)
        (computerRunning ?P ?C))
    (hasPurpose ?A
        (exists (?D)
            (and
                (instance ?D DownloadingOverNetwork)
                (origin ?D ?C)))))

If X is an instance of Apple app store, X is a program running of Y, and Y is running on Z, then X has the purpose there exists W such that W is an instance of downloading and W originates at Z