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 is a subclass of computer program |
appearance as argument number 2 |
(instance AppleGameCenter App) | ComputingBrands.kif 3052-3052 | Game center is an instance of app |
(subclass CydiaPackageManager App) | ComputingBrands.kif 2499-2499 | Cydia is a subclass of 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 |
|