| ComputerProgram
| |
| 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 16944-16945 | |
| (externalImage ComputerProgram "http://upload.wikimedia.org/wikipedia/en/ 3/ 3f/ Computer_program_source_code.jpg") | pictureList.kif 1707-1707 | |
| (lexicon ComputerProgram LexNoun "program") | engineering.kif 1608-1608 | |
| (lexicon ComputerProgram LexNoun "{computer program}") | engineering.kif 1607-1607 | |
| (subclass ComputerProgram Procedure) | Merge.kif 16943-16943 | |
| (subclass ComputerProgram Software) | ComputerInput.kif 813-813 |
| 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 3588-3596 | |
| (=> (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 3598-3612 |
| consequent |
|
|
| (=> (and (instance ?SU SoftwareUpgrading) (patient ?SU ?C) (instance ?C Computer)) (exists (?P) (and (objectTransferred ?SU ?P) (instance ?P ComputerProgram) (holdsDuring (BeginFn (WhenFn ?SU) (softwareVersion ?P PreviousVersion))) (holdsDuring (EndFn (WhenFn ?SU) (softwareVersion ?P CurrentVersion)))))) |
ComputingBrands.kif 3821-3835 | |
| (=> (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 3598-3612 | |
| (=> (instance ?API ApplicationProgrammerInterface) (exists (?P) (and (instance ?P ComputerProgram) (subProposition ?API ?P)))) |
ComputingBrands.kif 1929-1934 | |
| (=> (instance ?CD ComputerDesktopImage) (hasPurpose ?CD (and (refers ?CD ?F) (or (instance ?F DigitalData) (instance ?F ComputerProgram))))) |
ComputingBrands.kif 3163-3170 | |
| (=> (instance ?CP ComputerProgramming) (exists (?C) (and (instance ?C ComputerProgram) (result ?CP ?C)))) |
Merge.kif 16951-16956 | |
| (=> (instance ?CP ComputerProtocol) (hasPurpose ?CP (exists (?P1 ?P2 ?C) (and (instance ?P1 ComputerProgram) (instance ?P2 ComputerProgram) (instance ?C DataTransfer) (origin ?C ?P1) (destination ?C ?P2) (represents ?CP ?C))))) |
ComputingBrands.kif 1736-1746 | |
| (=> (instance ?FILE SoftwareFile) (exists (?PROGRAM ?SUBPROGRAM) (and (instance ?PROGRAM ComputerProgram) (subsumesContentInstance ?PROGRAM ?SUBPROGRAM) (containsInformation ?FILE ?SUBPROGRAM)))) |
Media.kif 1536-1542 | |
| (=> (instance ?G GUIDock) (exists (?I ?P ?CP) (and (instance ?CP ComputerProgram) (programRunning ?P ?CP) (instance ?I Icon) (represents ?I ?P) (orientation ?I ?G Inside)))) |
ComputingBrands.kif 2544-2552 | |
| (=> (instance ?MODULE_SERVER PageModuleServer) (part ?MODULE_SERVER ComputerProgram)) |
UXExperimentalTerms.kif 2008-2010 | |
| (=> (instance ?PACK SoftwarePackage) (exists (?PROGRAM) (and (instance ?PROGRAM ComputerProgram) (part ?PROGRAM ?PACK)))) |
ComputerInput.kif 819-824 | |
| (=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program)))) |
QoSontology.kif 158-165 | |
| (=> (instance ?R Robot) (hasPurpose ?R (exists (?PROC ?COMP) (and (instance ?PROC ComputerProcess) (instance ?COMP ComputerProgram) (computerRunning ?PROC ?COMP) (patient ?PROC ?R) (holdsDuring (WhenFn ?PROC) (exists (?INT) (and (instance ?INT IntentionalProcess) (instrument ?INT ?R)))))))) |
engineering.kif 999-1013 | |
| (=> (instance ?RM RMStartApplication) (exists (?Application ?Process ?RMCopy) (and (instance ?Application ComputerProgram) (programCopy ?RMCopy ?RM) (programRunning ?Process (StartupFn ?Application)) (agent ?Process ?RMCopy)))) |
QoSontology.kif 708-715 | |
| (=> (instance ?State ProcessState) (exists (?Program) (and (instance ?Program ComputerProgram) (forall (?Process) (=> (programRunning ?Process ?Program) (represents ?State ?Process)))))) |
QoSontology.kif 670-678 |
|
|
|