| 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 16948-16949 | |
| (externalImage ComputerProgramming "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ CodeCmmt002.svg") | pictureList.kif 1708-1708 | |
| (subclass ComputerProgramming ContentDevelopment) | Merge.kif 16947-16947 |
| 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 3865-3877 | |
| (=> (instance ?CP ComputerProgramming) (exists (?C) (and (instance ?C ComputerProgram) (result ?CP ?C)))) |
Merge.kif 16951-16956 |
| 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 3865-3877 |
|
|
|