| ComputerProgramming
| |
| appearance as argument number 1 |
|
|
| (documentation ComputerProgramming ChineseLanguage "这是开发 ComputerProgram 的过程。") | chinese_format.kif 3762-3762 | |
| (documentation ComputerProgramming EnglishLanguage "The process of developing a ComputerProgram") | Merge.kif 16880-16881 | |
| (externalImage ComputerProgramming "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ CodeCmmt002.svg") | pictureList.kif 1708-1708 | |
| (subclass ComputerProgramming ContentDevelopment) | Merge.kif 16879-16879 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage ComputerProgramming "电脑编程") | domainEnglishFormat.kif 16377-16377 | |
| (termFormat ChineseTraditionalLanguage ComputerProgramming "電腦編程") | domainEnglishFormat.kif 16376-16376 | |
| (termFormat EnglishLanguage ComputerProgramming "computer programming") | domainEnglishFormat.kif 16375-16375 |
| 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 | |
| (=> (instance ?CP ComputerProgramming) (exists (?C) (and (instance ?C ComputerProgram) (result ?CP ?C)))) |
Merge.kif 16883-16888 |
| consequent |
|
|
| (=> (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 |
|
|
|