SoftwareInstallation(installation) |
appearance as argument number 1 |
(documentation SoftwareInstallation EnglishLanguage "The process of deploying an application on a computer.") | engineering.kif 1320-1321 | |
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 11/ Klamav_install.png") | pictureList.kif 11226-11226 | |
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 62/ FreeDOS_Beta_9_pre-release5_%28install_progress%29_on_Bochs_sshot20040912.png") | pictureList.kif 11225-11225 | |
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 63/ Cygwin-setup.png") | pictureList.kif 11223-11223 | |
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 68/ Zero_Install_caching_an_application.png") | pictureList.kif 11224-11224 | |
(subclass SoftwareInstallation DataTransfer) | ComputingBrands.kif 3591-3591 | Installation is a subclass of data transfer |
(subclass SoftwareInstallation ITProcess) | engineering.kif 1324-1324 | Installation is a subclass of IT process |
appearance as argument number 2 |
(subclass SoftwareUpgrading SoftwareInstallation) | ComputingBrands.kif 3814-3814 | Software upgrade is a subclass of installation |
(termFormat ChineseLanguage SoftwareInstallation "安装") | domainEnglishFormat.kif 30235-30235 | |
(termFormat ChineseTraditionalLanguage SoftwareInstallation "安裝") | domainEnglishFormat.kif 30234-30234 | |
(termFormat EnglishLanguage SoftwareInstallation "install") | engineering.kif 1323-1323 | |
(termFormat EnglishLanguage SoftwareInstallation "installation") | domainEnglishFormat.kif 30233-30233 |
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 |