CurrentVersion
|
|
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 3899-3903 | |
(subAttribute CurrentVersion VersionAttribute) | ComputingBrands.kif 3898-3898 | 子屬性 CurrentVersion and VersionAttribute |
appearance as argument number 2 |
(disjoint PreviousVersion CurrentVersion) | ComputingBrands.kif 3890-3890 | 不相交的 PreviousVersion and CurrentVersion |
(termFormat EnglishLanguage CurrentVersion "current version") | ComputingBrands.kif 3904-3904 |
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 3870-3882 |
|
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 3826-3840 |
|