| 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 | Cydia is a subclass of app |
| (termFormat ChineseTraditionalLanguage App "app") | ComputingBrands.kif 1956-1956 | Cydia is a subclass of app |
| (termFormat EnglishLanguage App "app") | ComputingBrands.kif 1955-1955 | Cydia is a subclass of app |
| (termFormat JapaneseLanguage App "アプリ") | ComputingBrands.kif 1958-1958 | Cydia is a subclass of app |
| 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