TreeView Knowledge Base Browser - ComputerProgramming

appearance as argument number 2

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

antecedent

(=> (instance ?CP ComputerProgramming) (exists (?C) (and (instance ?C ComputerProgram) (result ?CP ?C))))	Merge.kif 17144-17149	If X is an instance of computer programming, then there exists Y such that Y is an instance of computer program and Y is a result of X
(=> (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 3776-3788	If X is the software version of X, Y is an instance of computer programming, and X is a patient of Y, then there exists Z such that Z is an instance of computer programming, equal Z, Y, the time of existence of Z happens earlier than the time of existence of Y, X is a patient of Z, and X is the software version of X

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))))

If X is the software version of X, Y is an instance of computer programming, and X is a patient of Y, then there exists Z such that Z is an instance of computer programming, equal Z, Y, the time of existence of Z happens earlier than the time of existence of Y, X is a patient of Z, and X is the software version of X

(subclass ComputerProgramming ContentDevelopment)	Merge.kif 17140-17140	Computer programming is a subclass of content development
(documentation ComputerProgramming EnglishLanguage "The process of developing a ComputerProgram")	Merge.kif 17141-17142	Computer programming is a subclass of content development
(externalImage ComputerProgramming "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ CodeCmmt002.svg")	pictureList.kif 1708-1708	Computer programming is a subclass of content development