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)App_store, App_商店, Apple_app_store, _App_store_, _Apple_app_store_, 蘋果app_商店

appearance as argument number 1
-------------------------


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

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


(termFormat ChineseLanguage AppleAppStore "App 商店") ComputingBrands.kif 1963-1963 "App 商店" is the printable form of Apple app store in ChineseLanguage
(termFormat ChineseLanguage AppleAppStore "蘋果app 商店") ComputingBrands.kif 1967-1967 "蘋果app 商店" is the printable form of Apple app store in ChineseLanguage
(termFormat ChineseTraditionalLanguage AppleAppStore "App 商店") ComputingBrands.kif 1962-1962 "App 商店" is the printable form of Apple app store in ChineseTraditionalLanguage
(termFormat ChineseTraditionalLanguage AppleAppStore "蘋果app 商店") ComputingBrands.kif 1966-1966 "蘋果app 商店" is the printable form of Apple app store in ChineseTraditionalLanguage
(termFormat EnglishLanguage AppleAppStore "App store") ComputingBrands.kif 1961-1961 "App store" is the printable form of Apple app store in english language
(termFormat EnglishLanguage AppleAppStore "Apple app store") ComputingBrands.kif 1965-1965 "Apple app store" is the printable form of Apple app store in english language
(termFormat JapaneseLanguage AppleAppStore " App store ") ComputingBrands.kif 1964-1964 " App store " is the printable form of Apple app store in japanese language
(termFormat JapaneseLanguage AppleAppStore " Apple app store ") ComputingBrands.kif 1968-1968 " Apple app store " is the printable form of Apple app store in japanese language

antecedent
-------------------------


(=>
    (and
        (instance ?A AppleAppStore)
        (programRunning ?P ?A)
        (computerRunning ?P ?C))
    (hasPurpose ?A
        (exists (?D)
            (and
                (instance ?D Downloading)
                (origin ?D ?C)))))
ComputingBrands.kif 1970-1979


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners