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

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


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

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


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


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