softwareVersion |
appearance as argument number 1 |
(documentation softwareVersion EnglishLanguage "softwareVersion is a VersionAttribute to the Proposition, ComputerProgram.") | ComputingBrands.kif 3863-3864 | |
(domain softwareVersion 1 ComputerProgram) | ComputingBrands.kif 3865-3865 | softwareVersion の数値 1 引数は コンピュータープログラム の instance では %n |
(domain softwareVersion 2 VersionAttribute) | ComputingBrands.kif 3866-3866 | softwareVersion の数値 2 引数は VersionAttribute の instance では %n |
(instance softwareVersion BinaryRelation) | ComputingBrands.kif 3862-3862 | softwareVersion は 2項関係 の instance では %n |
appearance as argument number 2 |
(format EnglishLanguage softwareVersion "%1 is the software version of %1") | ComputingBrands.kif 3867-3867 | |
(termFormat EnglishLanguage softwareVersion "software version") | ComputingBrands.kif 3868-3868 |
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 | |
(=> (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 |
|