PreviousVersion(previous version) |
appearance as argument number 1 |
(disjoint PreviousVersion CurrentVersion) | ComputingBrands.kif 3890-3890 | Previous version is disjoint from current version |
(documentation PreviousVersion EnglishLanguage "PreviousVersion is an earlier '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 3891-3895 | |
(subAttribute PreviousVersion VersionAttribute) | ComputingBrands.kif 3889-3889 | Previous version is a subattribute of version atribute |
appearance as argument number 2 |
(termFormat EnglishLanguage PreviousVersion "previous version") | ComputingBrands.kif 3896-3896 |
consequent |