| SoftwareInstallation
|
| appearance as argument number 1 |
|
| (documentation SoftwareInstallation EnglishLanguage "The process of deploying an application on a computer.") | engineering.kif 1634-1635 | |
| (externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 11/ Klamav_install.png") | pictureList.kif 11225-11225 | |
| (externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 62/ FreeDOS_Beta_9_pre-release5_%28install_progress%29_on_Bochs_sshot20040912.png") | pictureList.kif 11224-11224 | |
| (externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 63/ Cygwin-setup.png") | pictureList.kif 11222-11222 | |
| (externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 68/ Zero_Install_caching_an_application.png") | pictureList.kif 11223-11223 | |
| (subclass SoftwareInstallation DataTransfer) | ComputingBrands.kif 3591-3591 | |
| (subclass SoftwareInstallation ITProcess) | engineering.kif 1638-1638 |
| appearance as argument number 2 |
|
|
| (subclass SoftwareUpgrading SoftwareInstallation) | ComputingBrands.kif 3814-3814 | |
| (termFormat ChineseLanguage SoftwareInstallation "安装") | domainEnglishFormat.kif 30264-30264 | |
| (termFormat ChineseTraditionalLanguage SoftwareInstallation "安裝") | domainEnglishFormat.kif 30263-30263 | |
| (termFormat EnglishLanguage SoftwareInstallation "install") | engineering.kif 1637-1637 | |
| (termFormat EnglishLanguage SoftwareInstallation "installation") | domainEnglishFormat.kif 30262-30262 |
| antecedent |
|
|
| (=> (and (instance ?I SoftwareInstallation) (dataProcessed ?I ?P) (instance ?P ComputerProgram) (destination ?I ?C)) (hasPurpose ?I (exists (?PROC) (computerRunning ?PROC ?C)))) |
ComputingBrands.kif 3593-3601 |
| consequent |
|
|
| (=> (and (instance ?U SoftwareUnInstallation) (equal ?T2 (WhenFn ?U)) (dataProcessed ?U ?P) (instance ?P ComputerProgram) (located ?U ?C)) (exists (?I ?T1) (and (instance ?I SoftwareInstallation) (equal ?T1 (WhenFn ?I)) (dataProcessed ?I ?P) (instance ?P ComputerProgram) (located ?I ?C) (earlier ?T1 ?T2)))) |
ComputingBrands.kif 3603-3617 |
|
|
|