App - Sigma Knowledge base Browser

appearance as argument number 1

(subclass App ComputerProgram)	ComputingBrands.kif 1947-1947	App is a subclass of computer program
(documentation App EnglishLanguage "A ComputerProgram that is designed to run on a MobileCellPhone.")	ComputingBrands.kif 1948-1949	App is a subclass of computer program
(documentation App ChineseTraditionalLanguage "一個 ComputerProgram 被設計用來執行在 MobileCellPhone.")	ComputingBrands.kif 1950-1950	App is a subclass of computer program
(documentation App ChineseLanguage "一个 ComputerProgram 被设计用来执行在 MobileCellPhone.")	ComputingBrands.kif 1951-1952	App is a subclass of computer program
(documentation App JapaneseLanguage "＆％MobileCellPhoneで実行するように設計された＆％。")	ComputingBrands.kif 1953-1953	App is a subclass of computer program

appearance as argument number 2

(termFormat EnglishLanguage App "app")	ComputingBrands.kif 1955-1955
(termFormat ChineseTraditionalLanguage App "app")	ComputingBrands.kif 1956-1956
(termFormat ChineseLanguage App "app")	ComputingBrands.kif 1957-1957
(termFormat JapaneseLanguage App "アプリ")	ComputingBrands.kif 1958-1958
(subclass CydiaPackageManager App)	ComputingBrands.kif 2499-2499	Cydia is a subclass of app
(instance AppleGameCenter App)	ComputingBrands.kif 2963-2963	Game center is an instance of app

antecedent

(=>
    (instance ?A App)
    (hasPurpose ?A
        (exists (?P ?C)
            (and
                (instance ?C MobileCellPhone)
                (instance ?P ComputerProcess)
                (programRunning ?P ?A)
                (computerRunning ?P ?C)))))

If X is an instance of app, then X has the purpose there exist Y, Z such that Z is an instance of mobile cell phone, Y is an instance of computer process, X is a program running of Y, and Y is running on Z