ComputerProgram - Sigma Knowledge base Browser

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	Computer program is a subclass of procedure
(subclass ComputerProgram Software)	ComputerInput.kif 813-813	Computer program is a subclass of software

appearance as argument number 2

(instance JOPES ComputerProgram)	MilitaryProcesses.kif 1828-1828	JOPES is an instance of computer program
(subclass AVCTP ComputerProgram)	ComputingBrands.kif 2169-2169	Audio/Video Control Transport Protocol is a subclass of computer program
(subclass AdobeFlashPlayer ComputerProgram)	ComputingBrands.kif 2949-2949	Flash is a subclass of computer program
(subclass App ComputerProgram)	ComputingBrands.kif 1947-1947	App is a subclass of computer program
(subclass AppleAppStore ComputerProgram)	ComputingBrands.kif 1970-1970	Apple app store is a subclass of computer program
(subclass AppleFaceTime ComputerProgram)	ComputingBrands.kif 917-917	FaceTime is a subclass of computer program
(subclass AppleFairPlay ComputerProgram)	ComputingBrands.kif 955-955	FairPlay is a subclass of computer program
(subclass AppleFastAppSwitcher ComputerProgram)	ComputingBrands.kif 2932-2932	Apple Fast App Switcher is a subclass of computer program
(subclass AppleGarageBand ComputerProgram)	ComputingBrands.kif 881-881	GarageBand is a subclass of computer program
(subclass AppleICloud ComputerProgram)	ComputingBrands.kif 899-899	ICloud is a subclass of computer program
(subclass AppleILife ComputerProgram)	ComputingBrands.kif 905-905	ILife is a subclass of computer program
(subclass AppleIMessages ComputerProgram)	ComputingBrands.kif 893-893	IMessages is a subclass of computer program
(subclass AppleIMovie ComputerProgram)	ComputingBrands.kif 887-887	IMovie is a subclass of computer program
(subclass AppleIWork ComputerProgram)	ComputingBrands.kif 911-911	IWork is a subclass of computer program
(subclass AppleMigrationAssistant ComputerProgram)	ComputingBrands.kif 988-988	Migration Assistant is a subclass of computer program
(subclass AppleSetupAssistant ComputerProgram)	ComputingBrands.kif 981-981	Setup Assistant is a subclass of computer program
(subclass ApplicationProgrammerInterface ComputerProgram)	ComputingBrands.kif 1911-1911	Application Programmer Interface is a subclass of computer program
(subclass AutomaticApplication ComputerProgram)	QoSontology.kif 578-578	Automatic application is a subclass of computer program
(subclass Bookmarklet ComputerProgram)	ComputingBrands.kif 2281-2281	Bookmarklet is a subclass of computer program
(subclass CalendaringProgram ComputerProgram)	ComputingBrands.kif 2307-2307	カレンダー is a subclass of computer program
(subclass CameraProgram ComputerProgram)	ComputingBrands.kif 2329-2329	Camera is a subclass of computer program
(subclass ConsoleApplication ComputerProgram)	QoSontology.kif 608-608	Console application is a subclass of computer program
(subclass DHCPProgram ComputerProgram)	ComputingBrands.kif 4054-4054	DHCP program is a subclass of computer program
(subclass EmailProgram ComputerProgram)	ComputingBrands.kif 3102-3102	Mailer is a subclass of computer program
(subclass FindMyIPhone ComputerProgram)	ComputingBrands.kif 4251-4251	FMIP is a subclass of computer program

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

(domain CPUUtilizationFn 1 ComputerProgram)	QoSontology.kif 1319-1319	The number 1 argument of CPU utilization is an instance of computer program
(domain InitialProfileFn 1 ComputerProgram)	QoSontology.kif 1312-1312	The number 1 argument of initial profile is an instance of computer program
(domain ShutdownFn 1 ComputerProgram)	QoSontology.kif 441-441	The number 1 argument of shutdown is an instance of computer program
(domain StartupFn 1 ComputerProgram)	QoSontology.kif 401-401	The number 1 argument of startup is an instance of computer program
(domain commandLineArguments 1 ComputerProgram)	QoSontology.kif 1295-1295	The number 1 argument of command line arguments is an instance of computer program
(domain criticalityLevel 1 ComputerProgram)	QoSontology.kif 643-643	The number 1 argument of criticality level is an instance of computer program
(domain dependencyDelay 1 ComputerProgram)	QoSontology.kif 1244-1244	The number 1 argument of dependency delay is an instance of computer program
(domain dependencyType 1 ComputerProgram)	QoSontology.kif 1221-1221	The number 1 argument of dependency type is an instance of computer program
(domain environmentAttributes 1 ComputerProgram)	QoSontology.kif 461-461	The number 1 argument of environment attributes is an instance of computer program
(domain hasDependency 1 ComputerProgram)	QoSontology.kif 1238-1238	The number 1 argument of has dependency is an instance of computer program
(domain hasDependency 2 ComputerProgram)	QoSontology.kif 1239-1239	The number 2 argument of has dependency is an instance of computer program
(domain implementsProtocol 1 ComputerProgram)	ComputingBrands.kif 4044-4044	The number 1 argument of implements protocol is an instance of computer program
(domain maximumReplications 1 ComputerProgram)	QoSontology.kif 741-741	The number 1 argument of maximum replications is an instance of computer program
(domain minimumReplications 1 ComputerProgram)	QoSontology.kif 720-720	The number 1 argument of minimum replications is an instance of computer program
(domain monitorApplicationData 2 ComputerProgram)	QoSontology.kif 974-974	The number 2 argument of monitor application data is an instance of computer program
(domain portNumber 1 ComputerProgram)	QoSontology.kif 768-768	The number 1 argument of port number is an instance of computer program
(domain programCopy 2 ComputerProgram)	QoSontology.kif 637-637	The number 2 argument of program copy is an instance of computer program
(domain programRunning 2 ComputerProgram)	QoSontology.kif 209-209	The number 2 argument of program running is an instance of computer program
(domain runningOn 1 ComputerProgram)	QoSontology.kif 187-187	The number 1 argument of running on is an instance of computer program
(domain runsOn 1 ComputerProgram)	QoSontology.kif 338-338	The number 1 argument of runs on is an instance of computer program
(domain settlingTime 1 ComputerProgram)	QoSontology.kif 713-713	The number 1 argument of settling time is an instance of computer program
(domain shutdownOf 2 ComputerProgram)	QoSontology.kif 413-413	The number 2 argument of shutdown of is an instance of computer program
(domain softwareHeartBeatRate 1 ComputerProgram)	QoSontology.kif 921-921	The number 1 argument of heart beat rate is an instance of computer program
(domain softwareVersion 1 ComputerProgram)	ComputingBrands.kif 3865-3865	The number 1 argument of software version is an instance of computer program
(domain startupOf 2 ComputerProgram)	QoSontology.kif 373-373	The number 2 argument of startup of is an instance of computer program

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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	If a computer process is an instance of installation and a digital data is processed by the computer process and the digital data is an instance of computer program and the computer process ends up at an entity, then the computer process has the purpose there exists the digital dataROC such that the digital dataROC is running on the entity
(=> (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	If a computer process is an instance of un installation and a time interval is equal to the time of existence of the computer process and a digital data is processed by the computer process and the digital data is an instance of computer program and the computer process is located at an object, then there exist another computer process and another time interval such that the other computer process is an instance of installation and the other time interval is equal to the time of existence of the other computer process and the digital data is processed by the other computer process and the digital data is an instance of computer program and the other computer process is located at the object and the other time interval happens earlier than the time interval

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	If a transfer is an instance of software upgrade and an entity is a patient of the transfer and the entity is an instance of computer, then there exists an object such that the object transferred in the transfer is the object and the object is an instance of computer program and holds during the beginning of the time of existence of the transfer and holds during the end of the time of existence of the transfer
(=> (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	If a computer process is an instance of un installation and a time interval is equal to the time of existence of the computer process and a digital data is processed by the computer process and the digital data is an instance of computer program and the computer process is located at an object, then there exist another computer process and another time interval such that the other computer process is an instance of installation and the other time interval is equal to the time of existence of the other computer process and the digital data is processed by the other computer process and the digital data is an instance of computer program and the other computer process is located at the object and the other time interval happens earlier than the time interval
(=> (instance ?API ApplicationProgrammerInterface) (exists (?P) (and (instance ?P ComputerProgram) (subProposition ?API ?P))))	ComputingBrands.kif 1929-1934	If a proposition is an instance of Application Programmer Interface, then there exists another proposition such that the other proposition is an instance of computer program and the proposition is a sub-proposition of the other proposition
(=> (instance ?CD ComputerDesktopImage) (hasPurpose ?CD (and (refers ?CD ?F) (or (instance ?F DigitalData) (instance ?F ComputerProgram)))))	ComputingBrands.kif 3167-3174	If a physical is an instance of computer desktop image, then the physical has the purpose the physical includes a reference to an entity and the entity is an instance of digital data or the entity is an instance of computer program
(=> (instance ?CP ComputerProgramming) (exists (?C) (and (instance ?C ComputerProgram) (result ?CP ?C))))	Merge.kif 16862-16867	If a process is an instance of computer programming, then there exists an entity such that the entity is an instance of computer program and the entity is a result of the process
(=> (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	If a physical is an instance of computer protocol, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of computer program and the other entity is an instance of computer program and the third entity is an instance of data transfer and the third entity originates at the entity and the third entity ends up at the other entity and the physical expresses the third entity
(=> (instance ?FILE SoftwareFile) (exists (?PROGRAM ?SUBPROGRAM) (and (instance ?PROGRAM ComputerProgram) (subsumesContentInstance ?PROGRAM ?SUBPROGRAM) (containsInformation ?FILE ?SUBPROGRAM))))	Media.kif 1534-1540	If a content bearing physical is an instance of software file, then there exist another content bearing physical and a proposition such that the other content bearing physical is an instance of computer program and the other content bearing physical subsumes the content of the proposition and the content bearing physical contains information the proposition
(=> (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	If an object is an instance of dock, then there exist another object, a computer process and a computer program such that the computer program is an instance of computer program and the computer program is a program running of the computer process and the other object is an instance of icon and the other object expresses the computer process and the other object is inside to the object
(=> (instance ?MODULE_SERVER PageModuleServer) (part ?MODULE_SERVER ComputerProgram))	UXExperimentalTerms.kif 2008-2010	If an entity_SERVER is an instance of page module server, then the entity_SERVER is a part of computer program
(=> (instance ?PACK SoftwarePackage) (exists (?PROGRAM) (and (instance ?PROGRAM ComputerProgram) (part ?PROGRAM ?PACK))))	ComputerInput.kif 819-824	If an object is an instance of software package, then there exists another object such that the other object is an instance of computer program and the other object is a part of the object
(=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program))))	QoSontology.kif 157-164	If a computer process is an instance of computer process, then there exist a computer and a computer program such that the computer is an instance of computer and the computer process is running on the computer and the computer program is an instance of computer program and the computer program is a program running of the computer process
(=> (instance ?RM RMStartApplication) (exists (?Application ?Process ?RMCopy) (and (instance ?Application ComputerProgram) (programCopy ?RMCopy ?RM) (programRunning ?Process (StartupFn ?Application)) (agent ?Process ?RMCopy))))	QoSontology.kif 599-606	If a computer program is an instance of RMStartApplication, then there exist another computer program, a computer process and the computer programCopy such that the other computer program is an instance of computer program and the computer programCopy is a copy of the computer program and the startup of the other computer program is a program running of the computer process and the computer programCopy is an agent of the computer process
(=> (instance ?State ProcessState) (exists (?Program) (and (instance ?Program ComputerProgram) (forall (?Process) (=> (programRunning ?Process ?Program) (represents ?State ?Process))))))	QoSontology.kif 562-570	If an entity is an instance of process state, then there exists a computer program such that the computer program is an instance of computer program and for all a computer process if the computer program is a program running of the computer process, then the entity expresses the computer process

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

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

KB Term:			Term intersection

English Word: