SoftwareInstallation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SoftwareInstallation EnglishLanguage "The process of deploying an application on a computer.")	engineering.kif 1633-1634
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 11/ Klamav_install.png")	pictureList.kif 11219-11219
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 62/ FreeDOS_Beta_9_pre_release5_%28install_progress%29_on_Bochs_sshot20040912.png")	pictureList.kif 11218-11218
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 63/ Cygwin_setup.png")	pictureList.kif 11216-11216
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 68/ Zero_Install_caching_an_application.png")	pictureList.kif 11217-11217
(subclass SoftwareInstallation DataTransfer)	ComputingBrands.kif 3586-3586
(subclass SoftwareInstallation ITProcess)	engineering.kif 1637-1637

appearance as argument number 2

(subclass SoftwareUpgrading SoftwareInstallation)	ComputingBrands.kif 3809-3809
(termFormat ChineseLanguage SoftwareInstallation "安装")	domainEnglishFormat.kif 30263-30263
(termFormat ChineseTraditionalLanguage SoftwareInstallation "安裝")	domainEnglishFormat.kif 30262-30262
(termFormat EnglishLanguage SoftwareInstallation "install")	engineering.kif 1636-1636
(termFormat EnglishLanguage SoftwareInstallation "installation")	domainEnglishFormat.kif 30261-30261

antecedent

(=>
    (and
        (instance ?I SoftwareInstallation)
        (dataProcessed ?I ?P)
        (instance ?P ComputerProgram)
        (destination ?I ?C))
    (hasPurpose ?I
        (exists (?PROC)
            (computerRunning ?PROC ?C))))

ComputingBrands.kif 3588-3596

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 3598-3612