TreeView Knowledge Base Browser

appearance as argument number 1

(subAttribute CurrentVersion VersionAttribute)	ComputingBrands.kif 3804-3804	Current version is a subattribute of version atribute
(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 3805-3809	Current version is a subattribute of version atribute

appearance as argument number 2

(disjoint PreviousVersion CurrentVersion)	ComputingBrands.kif 3796-3796	Previous version is disjoint from current version
(termFormat EnglishLanguage CurrentVersion "current version")	ComputingBrands.kif 3810-3810	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))))

If X is the software version of X, Y is an instance of computer programming, and X is a patient of Y, then there exists Z such that Z is an instance of computer programming, equal Z, Y, the time of existence of Z happens earlier than the time of existence of Y, X is a patient of Z, and X is the software version of X

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

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