TreeView Knowledge Base Browser - 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 16859-16860
(externalImage ComputerProgramming "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ CodeCmmt002.svg")	pictureList.kif 1709-1709
(subclass ComputerProgramming ContentDevelopment)	Merge.kif 16858-16858	子類電腦編程 and ContentDevelopment

appearance as argument number 2

(termFormat ChineseLanguage ComputerProgramming "电脑编程")	domainEnglishFormat.kif 16362-16362
(termFormat ChineseTraditionalLanguage ComputerProgramming "電腦編程")	domainEnglishFormat.kif 16361-16361
(termFormat EnglishLanguage ComputerProgramming "computer programming")	domainEnglishFormat.kif 16360-16360

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	softwareVersion ComputerProgram and CurrentVersion 例 Process and 電腦編程患者 Process and ComputerProgram Process 例 Process and 電腦編程等於 Process and Process 早期何時 Process and 何時 Process 患者 Process and ComputerProgram softwareVersion ComputerProgram and PreviousVersion
(=> (instance ?CP ComputerProgramming) (exists (?C) (and (instance ?C ComputerProgram) (result ?CP ?C))))	Merge.kif 16862-16867	例 Process and 電腦編程 Entity 例 Entity and ComputerProgram 結果 Process and Entity

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