SoftwareInstallation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SoftwareInstallation DataTransfer)	ComputingBrands.kif 3497-3497	Install is a subclass of data transfer
(documentation SoftwareInstallation EnglishLanguage "The process of deploying an application on a computer.")	engineering.kif 1591-1592	Install is a subclass of data transfer
(subclass SoftwareInstallation ITProcess)	engineering.kif 1595-1595	Install is a subclass of IT process
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 63/ Cygwin_setup.png")	pictureList.kif 11216-11216	Install is a subclass of IT process
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 68/ Zero_Install_caching_an_application.png")	pictureList.kif 11217-11217	Install is a subclass of IT process
(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	Install is a subclass of IT process
(externalImage SoftwareInstallation "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 11/ Klamav_install.png")	pictureList.kif 11219-11219	Install is a subclass of IT process

appearance as argument number 2

(subclass SoftwareUpgrading SoftwareInstallation)	ComputingBrands.kif 3720-3720	Software upgrade is a subclass of install
(termFormat ChineseTraditionalLanguage SoftwareInstallation "安裝")	domainEnglishFormat.kif 30238-30238	Software upgrade is a subclass of install
(termFormat ChineseLanguage SoftwareInstallation "安装")	domainEnglishFormat.kif 30239-30239	Software upgrade is a subclass of install
(termFormat EnglishLanguage SoftwareInstallation "installation")	engineering.kif 1593-1593	Software upgrade is a subclass of install
(termFormat EnglishLanguage SoftwareInstallation "install")	engineering.kif 1594-1594	Software upgrade is a subclass of install

antecedent

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

If X is an instance of install, Y is processed by X, Y is an instance of computer program, and X ends up at Z, then X has the purpose there exists W such that W is running on Z

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))))

If X is an instance of uninstall, equal Y and the time of existence of X, Z is processed by X, Z is an instance of computer program, and X is located at W, then All of the following hold: (1) there exist V (2) U such that V is an instance of install (3) equal U (4) the time of existence of V (5) Z is processed by V (6) Z is an instance of computer program (7) V is located at W (8) U happens earlier than Y