Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleAppStore
AppleAppStore(Apple app store)

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 Apple app store is a subclass of computer program

appearance as argument number 2
-------------------------


(creator AppleComputer AppleAppStore) ComputingBrands.kif 1971-1971 Apple Computer created Apple app store
(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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners