more pictures...| AutomaticApplication(automatic application)
more pictures... |
| appearance as argument number 1 |
|
| (documentation AutomaticApplication EnglishLanguage "A program which is started automatically, as opposed to an application started in response to some condition becoming true.") | QoSontology.kif 685-687 | |
| (externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ 5/ 55/ Ding-_Dictionary_Lookup.jpg") | pictureList.kif 10460-10460 | |
| (externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 62/ Gajim_roster2.png") | pictureList.kif 10466-10466 | |
| (externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Chatzilla_query_view.png") | pictureList.kif 10461-10461 | |
| (externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 72/ Miranda_IM_contact_list.png") | pictureList.kif 10467-10467 | |
| (externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ 8/ 8a/ Bsod_nt.png") | pictureList.kif 10469-10469 | |
| (externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ a/ a0/ Amarok-1.png") | pictureList.kif 10468-10468 | |
| (externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ b/ b5/ Program.png") | pictureList.kif 9895-9895 | |
| (externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ b/ bc/ Amsn.png") | pictureList.kif 10465-10465 | |
| (externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ e/ e3/ Screenshot_htop.png") | pictureList.kif 10462-10462 | |
| (externalImage AutomaticApplication "http://upload.wikimedia.org/wikipedia/ commons/ f/ f6/ ClawsMail_rs.png") | pictureList.kif 10464-10464 | |
| (subclass AutomaticApplication ComputerProgram) | QoSontology.kif 684-684 | Automatic application is a subclass of computer program |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage AutomaticApplication "自动申请") | domainEnglishFormat.kif 9175-9175 | |
| (termFormat ChineseTraditionalLanguage AutomaticApplication "自動申請") | domainEnglishFormat.kif 9174-9174 | |
| (termFormat EnglishLanguage AutomaticApplication "automatic application") | domainEnglishFormat.kif 9173-9173 |
| antecedent |
|
|
| (=> (and (instance ?Application AutomaticApplication) (instance ?System SoftwareSystem) (part ?Application ?System)) (part (StartupFn ?Application) (StartupFn ?System))) |
QoSontology.kif 692-697 |
|
|
|
|