| 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 16865-16866 | |
| (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 16864-16864 | |
| (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 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 |
|
|
| (=> (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 3826-3840 | |
| (=> (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 | |
| (=> (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 3167-3174 | |
| (=> (instance ?CP ComputerProgramming) (exists (?C) (and (instance ?C ComputerProgram) (result ?CP ?C)))) |
Merge.kif 16872-16877 | |
| (=> (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 1534-1540 | |
| (=> (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 157-164 | |
| (=> (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 705-712 | |
| (=> (instance ?State ProcessState) (exists (?Program) (and (instance ?Program ComputerProgram) (forall (?Process) (=> (programRunning ?Process ?Program) (represents ?State ?Process)))))) |
QoSontology.kif 668-676 |
|
|
|