SoftwareUpgrading - Sigma Knowledge base Browser

antecedent

(=>
    (and
        (instance ?SU SoftwareUpgrading)
        (patient ?SU ?C)
        (instance ?C Computer))
    (exists (?P)
        (and
            (objectTransferred ?SU ?P)
            (instance ?P ComputerProgram)
            (holdsDuring
                (BeginFn
                    (WhenFn ?SU))
                (softwareVersion ?P PreviousVersion))
            (holdsDuring
                (EndFn
                    (WhenFn ?SU))
                (softwareVersion ?P CurrentVersion)))))

If X is an instance of software upgrade, Y is a patient of X, and Y is an instance of computer, then there exists Z such that the object transferred in X is Z, Z is an instance of computer program, Z is the software version of Z holds during the beginning of the time of existence of X, and Z is the software version of Z holds during the end of the time of existence of X

(subclass SoftwareUpgrading SoftwareInstallation)	ComputingBrands.kif 3720-3720	Software upgrade is a subclass of install
(documentation SoftwareUpgrading EnglishLanguage "Replacing software with a later version of the same software")	ComputingBrands.kif 3721-3722	Software upgrade is a subclass of install

(termFormat EnglishLanguage SoftwareUpgrading "software upgrading")	ComputingBrands.kif 3724-3724
(termFormat EnglishLanguage SoftwareUpgrading "upgrading")	ComputingBrands.kif 3725-3725
(termFormat EnglishLanguage SoftwareUpgrading "upgrade")	ComputingBrands.kif 3726-3726
(termFormat EnglishLanguage SoftwareUpgrading "software upgrade")	ComputingBrands.kif 3727-3727
(termFormat ChineseTraditionalLanguage SoftwareUpgrading "軟體更新")	ComputingBrands.kif 3728-3728
(termFormat ChineseLanguage SoftwareUpgrading "软体更新")	ComputingBrands.kif 3729-3729
(termFormat JapaneseLanguage SoftwareUpgrading "ソフトウェアの更新")	ComputingBrands.kif 3730-3730