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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - App
App

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


(documentation App ChineseLanguage "一个 ComputerProgram 被设计用来执行在 MobileCellPhone.") ComputingBrands.kif 1951-1952
(documentation App ChineseTraditionalLanguage "一個 ComputerProgram 被設計用來執行在 MobileCellPhone.") ComputingBrands.kif 1950-1950
(documentation App EnglishLanguage "A ComputerProgram that is designed to run on a MobileCellPhone.") ComputingBrands.kif 1948-1949
(documentation App JapaneseLanguage "&%MobileCellPhoneで実行するように設計された&%。") ComputingBrands.kif 1953-1953
(subclass App ComputerProgram) ComputingBrands.kif 1947-1947 App est une sous-classe de programme d'ordinateur

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


(instance AppleGameCenter App) ComputingBrands.kif 3052-3052 AppleGameCenter est une instance de App
(subclass CydiaPackageManager App) ComputingBrands.kif 2499-2499 CydiaPackageManager est une sous-classe de App
(termFormat ChineseLanguage App "app") ComputingBrands.kif 1957-1957
(termFormat ChineseTraditionalLanguage App "app") ComputingBrands.kif 1956-1956
(termFormat EnglishLanguage App "app") ComputingBrands.kif 1955-1955
(termFormat JapaneseLanguage App "アプリ") ComputingBrands.kif 1958-1958

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


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


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