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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - App
App(app)

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


(documentation App ChineseLanguage "一个 ComputerProgram 被设计用来执行在 MobileCellPhone.") ComputingBrands.kif 1929-1930
(documentation App ChineseTraditionalLanguage "一個 ComputerProgram 被設計用來執行在 MobileCellPhone.") ComputingBrands.kif 1928-1928
(documentation App EnglishLanguage "A ComputerProgram that is designed to run on a MobileCellPhone.") ComputingBrands.kif 1926-1927
(documentation App JapaneseLanguage "&%MobileCellPhoneで実行するように設計された&%。") ComputingBrands.kif 1931-1931
(subclass App ComputerProgram) ComputingBrands.kif 1925-1925 App电脑程序subclass

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


(instance AppleGameCenter App) ComputingBrands.kif 3023-3023 游戏中心appinstance
(subclass CydiaPackageManager App) ComputingBrands.kif 2466-2466 Cydiaappsubclass
(termFormat ChineseLanguage App "app") ComputingBrands.kif 1935-1935
(termFormat ChineseTraditionalLanguage App "app") ComputingBrands.kif 1934-1934
(termFormat EnglishLanguage App "app") ComputingBrands.kif 1933-1933
(termFormat JapaneseLanguage App "アプリ") ComputingBrands.kif 1936-1936

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


(=>
    (instance ?A App)
    (hasPurpose ?A
        (exists (?A ?P)
            (and
                (instance ?C MobileCellPhone)
                (instance ?P ComputerProcess)
                (programRunning ?P ?A)
                (computerRunning ?P ?C)))))
ComputingBrands.kif 1938-1946


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