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

Formal Language: 



KB Term:  Term intersection
English Word: 

  App

Sigma KEE - App
App(app)

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


(documentation App ChineseLanguage "一个 ComputerProgram 被设计用来执行在 MobileCellPhone.") ComputingBrands.kif 1919-1920
(documentation App ChineseTraditionalLanguage "一個 ComputerProgram 被設計用來執行在 MobileCellPhone.") ComputingBrands.kif 1918-1918
(documentation App EnglishLanguage "A ComputerProgram that is designed to run on a MobileCellPhone.") ComputingBrands.kif 1916-1917
(documentation App JapaneseLanguage "&%MobileCellPhoneで実行するように設計された&%。") ComputingBrands.kif 1921-1921
(subclass App ComputerProgram) ComputingBrands.kif 1915-1915 App is a subclass of computer program

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


(instance AppleGameCenter App) ComputingBrands.kif 3020-3020 Game center is an instance of app
(subclass CydiaPackageManager App) ComputingBrands.kif 2467-2467 Cydia is a subclass of app
(termFormat ChineseLanguage App "app") ComputingBrands.kif 1925-1925
(termFormat ChineseTraditionalLanguage App "app") ComputingBrands.kif 1924-1924
(termFormat EnglishLanguage App "app") ComputingBrands.kif 1923-1923
(termFormat JapaneseLanguage App "アプリ") ComputingBrands.kif 1926-1926

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


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


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

Show without tree


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