Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerProgramming

Sigma KEE - ComputerProgramming
ComputerProgramming(computer programming)
computer_programing, computer_programming, logic_programing, logic_programming, object-oriented_programing, object-oriented_programming, programing, programming

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 16788-16789
(externalImage ComputerProgramming "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 75/ CodeCmmt002.svg") pictureList.kif 1709-1709
(subclass ComputerProgramming ContentDevelopment) Merge.kif 16787-16787 Computer programming is a subclass of content development

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
(=>
    (instance ?CP ComputerProgramming)
    (exists (?C)
        (and
            (instance ?C ComputerProgram)
            (result ?CP ?C))))
Merge.kif 16791-16796

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners