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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleAppStore
AppleAppStore

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


(creator AppleAppStore AppleComputer) ComputingBrands.kif 1951-1951
(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

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


(termFormat ChineseLanguage AppleAppStore "App 商店") ComputingBrands.kif 1963-1963
(termFormat ChineseLanguage AppleAppStore "蘋果app 商店") ComputingBrands.kif 1967-1967
(termFormat ChineseTraditionalLanguage AppleAppStore "App 商店") ComputingBrands.kif 1962-1962
(termFormat ChineseTraditionalLanguage AppleAppStore "蘋果app 商店") ComputingBrands.kif 1966-1966
(termFormat EnglishLanguage AppleAppStore "App store") ComputingBrands.kif 1961-1961
(termFormat EnglishLanguage AppleAppStore "Apple app store") ComputingBrands.kif 1965-1965
(termFormat JapaneseLanguage AppleAppStore " App store ") ComputingBrands.kif 1964-1964
(termFormat JapaneseLanguage AppleAppStore " Apple app store ") ComputingBrands.kif 1968-1968

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