angularMeasure
|
|
appearance as argument number 1 |
(documentation ComputerProgram ChineseLanguage "这是一组可以由计算机执行的计算机编程语言的指令。") | chinese_format.kif 3761-3761 | |
(documentation ComputerProgram EnglishLanguage "A set of instructions in a computer programming language that can be executed by a computer.") | Merge.kif 16855-16856 | |
(externalImage ComputerProgram "http://upload.wikimedia.org/wikipedia/en/ 3/ 3f/ Computer_program_source_code.jpg") | pictureList.kif 1708-1708 | |
(lexicon ComputerProgram LexNoun "program") | engineering.kif 1295-1295 | |
(lexicon ComputerProgram LexNoun "{computer program}") | engineering.kif 1294-1294 | |
(subclass ComputerProgram Procedure) | Merge.kif 16854-16854 | 子類 ComputerProgram and Procedure |
(subclass ComputerProgram Software) | ComputerInput.kif 813-813 | 子類 ComputerProgram and Software |
appearance as argument number 2 |
appearance as argument number 3 |
antecedent |
(=> (and (instance ?I SoftwareInstallation) (dataProcessed ?I ?P) (instance ?P ComputerProgram) (destination ?I ?C)) (hasPurpose ?I (exists (?PROC) (computerRunning ?PROC ?C)))) |
ComputingBrands.kif 3593-3601 | |
(=> (and (instance ?U SoftwareUnInstallation) (equal ?T2 (WhenFn ?U)) (dataProcessed ?U ?P) (instance ?P ComputerProgram) (located ?U ?C)) (exists (?I ?T1) (and (instance ?I SoftwareInstallation) (equal ?T1 (WhenFn ?I)) (dataProcessed ?I ?P) (instance ?P ComputerProgram) (located ?I ?C) (earlier ?T1 ?T2)))) |
ComputingBrands.kif 3603-3617 |
consequent |