SoftwareUpgrading(軟體更新) |
appearance as argument number 1 |
(documentation SoftwareUpgrading EnglishLanguage "Replacing software with a later version of the same software") | ComputingBrands.kif 3815-3816 | |
(subclass SoftwareUpgrading SoftwareInstallation) | ComputingBrands.kif 3814-3814 | 子類 軟體更新 and 安裝 |
appearance as argument number 2 |
(termFormat ChineseLanguage SoftwareUpgrading "软体更新") | ComputingBrands.kif 3823-3823 | |
(termFormat ChineseTraditionalLanguage SoftwareUpgrading "軟體更新") | ComputingBrands.kif 3822-3822 | |
(termFormat EnglishLanguage SoftwareUpgrading "software upgrade") | ComputingBrands.kif 3821-3821 | |
(termFormat EnglishLanguage SoftwareUpgrading "software upgrading") | ComputingBrands.kif 3818-3818 | |
(termFormat EnglishLanguage SoftwareUpgrading "upgrade") | ComputingBrands.kif 3820-3820 | |
(termFormat EnglishLanguage SoftwareUpgrading "upgrading") | ComputingBrands.kif 3819-3819 | |
(termFormat JapaneseLanguage SoftwareUpgrading "ソフトウェアの更新") | ComputingBrands.kif 3824-3824 |
antecedent |
(=> (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 |
|