AppleAppStore - Sigma Knowledge base Browser

appearance as argument number 1

(documentation AppleAppStore ChineseLanguage "客户可以为他们的装置下载程式藉由在其中的软体和网页,有些免费有些需收费。")	ComputingBrands.kif 1977-1977
(documentation AppleAppStore ChineseTraditionalLanguage "Apple客戶可以為他們的裝置下載程式藉由在其中的軟體和網頁,有些免費有些需收費。")	ComputingBrands.kif 1976-1976
(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
(documentation AppleAppStore JapaneseLanguage "お客様が、デバイスに役立つコンピュータープログラムをダウンロードできるソフトウェアとインターネットのサイト。一部は無料、その他は有料。")	ComputingBrands.kif 1978-1979
(subclass AppleAppStore ComputerProgram)	ComputingBrands.kif 1970-1970

appearance as argument number 2

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

antecedent

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

ComputingBrands.kif 1990-1999