|
|
   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 |
|
|
|
|