SoftwareUnInstallation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SoftwareUnInstallation EnglishLanguage "The process of removing of an installed application from a computer.")	engineering.kif 1640-1641
(subclass SoftwareUnInstallation ITProcess)	engineering.kif 1644-1644

appearance as argument number 2

(termFormat ChineseLanguage SoftwareUnInstallation "反安装")	domainEnglishFormat.kif 60021-60021
(termFormat ChineseTraditionalLanguage SoftwareUnInstallation "反安裝")	domainEnglishFormat.kif 60020-60020
(termFormat EnglishLanguage SoftwareUnInstallation "un installation")	domainEnglishFormat.kif 60019-60019
(termFormat EnglishLanguage SoftwareUnInstallation "uninstall")	engineering.kif 1643-1643
(termFormat EnglishLanguage SoftwareUnInstallation "uninstallation")	engineering.kif 1642-1642

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

ComputingBrands.kif 3603-3617