ComputerProgramming - Sigma Knowledge base Browser

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	Computer programming is a subclass of content development

appearance as argument number 2

(termFormat ChineseLanguage ComputerProgramming "电脑编程")	domainEnglishFormat.kif 16378-16378
(termFormat ChineseTraditionalLanguage ComputerProgramming "電腦編程")	domainEnglishFormat.kif 16377-16377
(termFormat EnglishLanguage ComputerProgramming "computer programming")	domainEnglishFormat.kif 16376-16376

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	If a computer program is the software version of the computer program and a process is an instance of computer programming and the computer program is a patient of the process, then there exists another process such that the other process is an instance of computer programming and the other process is not equal to the process and the time of existence of the other process happens earlier than the time of existence of the process and the computer program is a patient of the other process and the computer program is the software version of the computer program
(=> (instance ?CP ComputerProgramming) (exists (?C) (and (instance ?C ComputerProgram) (result ?CP ?C))))	Merge.kif 16862-16867	If a process is an instance of computer programming, then there exists an entity such that the entity is an instance of computer program and the entity is a result of the process

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