SoftwareInstallation(installation) |
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 | Installation is a subclass of data transfer |
(subclass SoftwareInstallation ITProcess) | engineering.kif 1638-1638 | 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 30264-30264 | Software upgrade is a subclass of installation |
(termFormat ChineseTraditionalLanguage SoftwareInstallation "安裝") | domainEnglishFormat.kif 30263-30263 | Software upgrade is a subclass of installation |
(termFormat EnglishLanguage SoftwareInstallation "install") | engineering.kif 1637-1637 | Software upgrade is a subclass of installation |
(termFormat EnglishLanguage SoftwareInstallation "installation") | domainEnglishFormat.kif 30262-30262 | Software upgrade is a subclass of installation |
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 |