CurrentVersion - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CurrentVersion EnglishLanguage "CurrentVersion is an latest 'version' of the software of the VersionAttribute.Note that while this typically means they will share a lot of code, that's not strictly necessary as one version could be a complete rewrite of the other as long as they broadly share the same purpose.")	ComputingBrands.kif 3894-3898
(subAttribute CurrentVersion VersionAttribute)	ComputingBrands.kif 3893-3893	Current version is a subattribute of version atribute

appearance as argument number 2

(disjoint PreviousVersion CurrentVersion)	ComputingBrands.kif 3885-3885	Previous version is disjoint from current version
(termFormat EnglishLanguage CurrentVersion "current version")	ComputingBrands.kif 3899-3899	Previous version is disjoint from current version

antecedent

(=>
    (and
        (softwareVersion ?COM CurrentVersion)
        (instance ?P2 ComputerProgramming)
        (patient ?P2 ?COM))
    (exists (?P1)
        (and
            (instance ?P1 ComputerProgramming)
            (not
                (equal ?P1 ?P2))
            (earlier
                (WhenFn ?P1)
                (WhenFn ?P2))
            (patient ?P1 ?COM)
            (softwareVersion ?COM PreviousVersion))))

ComputingBrands.kif 3865-3877

consequent

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

ComputingBrands.kif 3821-3835