SoftwareUnInstallation - Sigma Knowledge base Browser

antecedent

(=>
    (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

(documentation SoftwareUnInstallation EnglishLanguage "The process of removing of an installed application from a computer.")	engineering.kif 1597-1598
(subclass SoftwareUnInstallation ITProcess)	engineering.kif 1601-1601	Uninstall is a subclass of IT process

(termFormat EnglishLanguage SoftwareUnInstallation "un installation")	domainEnglishFormat.kif 59981-59981
(termFormat ChineseTraditionalLanguage SoftwareUnInstallation "反安裝")	domainEnglishFormat.kif 59982-59982
(termFormat ChineseLanguage SoftwareUnInstallation "反安装")	domainEnglishFormat.kif 59983-59983
(termFormat EnglishLanguage SoftwareUnInstallation "uninstallation")	engineering.kif 1599-1599
(termFormat EnglishLanguage SoftwareUnInstallation "uninstall")	engineering.kif 1600-1600