ComputerProcess - Sigma Knowledge base Browser

appearance as argument number 3

(domain accountUsed 1 ComputerProcess)	ComputingBrands.kif 4161-4161	The number 1 argument of account used is an instance of computer process
(domain computerRunning 1 ComputerProcess)	QoSontology.kif 202-202	The number 1 argument of computer running is an instance of computer process
(domain dataProcessed 1 ComputerProcess)	QoSontology.kif 1877-1877	The number 1 argument of data processed is an instance of computer process
(domain processAborted 2 ComputerProcess)	QoSontology.kif 1889-1889	The number 2 argument of process aborted is an instance of computer process
(domain processID 1 ComputerProcess)	QoSontology.kif 776-776	The number 1 argument of processID is an instance of computer process
(domain programRunning 1 ComputerProcess)	QoSontology.kif 208-208	The number 1 argument of program running is an instance of computer process
(domain resourceUsed 1 ComputerProcess)	QoSontology.kif 1994-1994	The number 1 argument of resource used is an instance of computer process
(domain standardErrorDevice 1 ComputerProcess)	QoSontology.kif 534-534	The number 1 argument of standard error device is an instance of computer process
(domain standardInputDevice 1 ComputerProcess)	QoSontology.kif 503-503	The number 1 argument of standard input device is an instance of computer process
(domain standardOutputDevice 1 ComputerProcess)	QoSontology.kif 517-517	The number 1 argument of standard output device is an instance of computer process
(domain stateOfProcess 1 ComputerProcess)	QoSontology.kif 573-573	The number 1 argument of state of process is an instance of computer process
(domain status 1 ComputerProcess)	QoSontology.kif 798-798	The number 1 argument of status is an instance of computer process
(domain task 1 ComputerProcess)	QoSontology.kif 1952-1952	The number 1 argument of task is an instance of computer process

antecedent

(=> (and (instance ?Software SoftwareSystem) (instance ?Process ComputerProcess) (programRunning ?Process ?Software)) (exists (?Hardware) (and (instance ?Hardware HardwareSystem) (computerRunning ?Process ?Hardware))))	QoSontology.kif 299-307	If a computer program is an instance of software system and a computer process is an instance of computer process and the computer program is a program running of the computer process, then there exists a computer such that the computer is an instance of hardware system and the computer process is running on the computer
(=> (and (shutdownOf ?Shutdown ?Application) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Shutdown) (equal (WhenFn ?Process1) ?Time1)) (exists (?Process2 ?Time2) (and (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Application) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time2 ?Time1))))	QoSontology.kif 427-438	If a computer program is a shutdown of a shutdown block and a computer process is an instance of computer process and the shutdown block is a program running of the computer process and the time of existence of the computer process is equal to a time interval, then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval meets the time interval
(=> (and (startupOf ?Startup ?Application) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Startup) (equal (WhenFn ?Process1) ?Time1)) (exists (?Process2 ?Time2) (and (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Application) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time1 ?Time2))))	QoSontology.kif 387-398	If a computer program is a startup of a startup block and a computer process is an instance of computer process and the startup block is a program running of the computer process and the time of existence of the computer process is equal to a time interval, then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the time interval meets the other time interval
(=> (and (startupTimeDelay ?Application ?Delay) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Application) (equal (WhenFn ?Process1) ?Time1) (instance ?Process2 ComputerProcess) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time1 ?Time) (meetsTemporally ?Time ?Time2)) (duration ?Time ?Delay))	QoSontology.kif 660-670	If the startup time delay of a computer program is a time duration and a computer process is an instance of computer process and the computer program is a program running of the computer process and the time of existence of the computer process is equal to a time interval and a physical is an instance of computer process and the time of existence of the physical is equal to another time interval and the time interval meets a third time interval and the third time interval meets the other time interval, then duration of the third time interval is the time duration
(=> (exists (?Time1 ?Time2) (and (dependencyDelay ?Program1 ?Delay) (dependencyType ?Program1 ShutdownBlock) (hasDependency ?Program1 ?Program2) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Program1) (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Program2) (equal (WhenFn ?Process2) ?Time2) (finishes ?Time ?Time1) (equal (WhenFn ?Process2) ?Time2) (equal (BeginFn ?Time) (EndFn ?Time2)))) (duration ?Time ?Delay))	QoSontology.kif 1270-1284	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and shutdown block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and a third time interval finishes the time interval and the time of existence of the other computer process is equal to the other time interval and the beginning of the third time interval is equal to the end of the other time interval, then duration of the third time interval is the time duration
(=> (exists (?Time1 ?Time2) (and (dependencyDelay ?Program1 ?Delay) (dependencyType ?Program1 StartupBlock) (hasDependency ?Program1 ?Program2) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Program1) (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Program2) (equal (WhenFn ?Process2) ?Time2) (starts ?Time2 ?Time) (equal (WhenFn ?Process1) ?Time1) (equal (EndFn ?Time) (BeginFn ?Time1)))) (duration ?Time ?Delay))	QoSontology.kif 1254-1268	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and startup block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval starts a third time interval and the time of existence of the computer process is equal to the time interval and the end of the third time interval is equal to the beginning of the time interval, then duration of the third time interval is the time duration
(=> (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

consequent

(=> (and (instance ?C ComputerBackingUp) (dataProcessed ?C ?DD) (instance ?DD DigitalData) (agent ?C ?A)) (desires ?A (exists (?T) (and (earlier (WhenFn ?C) ?T) (holdsDuring (?T) (exists (?PROC) (and (instance ?PROC ComputerProcess) (capability ?PROC dataProcessed ?DD))))))))	ComputingBrands.kif 3496-3510	If a computer process is an instance of backup and a digital data is processed by the computer process and the digital data is an instance of digital data and a cognitive agent is an agent of the computer process, then the cognitive agent desires there exists an entity such that the time of existence of the computer process happens earlier than the entity and there exists another entity such that the other entity is an instance of computer process and the digital data is capable of doing the other entity as a data processed holds during the entity
(=> (and (instance ?LI LoggingIn) (hasAccount ?U ?A) (accountAtSite ?A ?S) (equal ?T (ImmediateFutureFn (WhenFn ?LI))) (agent ?LI ?U)) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?U) (patient ?P ?S)))) Possibility))	ComputingBrands.kif 3972-3986	If a process is an instance of logging in and an agent has account an user account and the user account is an account at a web site and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the web site is a patient of the entity holds during the time interval has the modal force of possibility
(=> (and (instance ?LI LoggingIn) (hasAccount ?U ?A) (deviceAccount ?A ?C) (equal ?T (ImmediateFutureFn (WhenFn ?LI))) (agent ?LI ?U)) (modalAttribute (holdsDuring ?T (exists (?P) (and (instance ?P ComputerProcess) (agent ?P ?U) (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 3988-4002	If a process is an instance of logging in and an agent has account an user account and device account the user account and a computer and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the computer is an instrument for the entity holds during the time interval has the modal force of possibility
(=> (and (shutdownOf ?Shutdown ?Application) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Shutdown) (equal (WhenFn ?Process1) ?Time1)) (exists (?Process2 ?Time2) (and (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Application) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time2 ?Time1))))	QoSontology.kif 427-438	If a computer program is a shutdown of a shutdown block and a computer process is an instance of computer process and the shutdown block is a program running of the computer process and the time of existence of the computer process is equal to a time interval, then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval meets the time interval
(=> (and (startupOf ?Startup ?Application) (instance ?Process1 ComputerProcess) (programRunning ?Process1 ?Startup) (equal (WhenFn ?Process1) ?Time1)) (exists (?Process2 ?Time2) (and (instance ?Process2 ComputerProcess) (programRunning ?Process2 ?Application) (equal (WhenFn ?Process2) ?Time2) (meetsTemporally ?Time1 ?Time2))))	QoSontology.kif 387-398	If a computer program is a startup of a startup block and a computer process is an instance of computer process and the startup block is a program running of the computer process and the time of existence of the computer process is equal to a time interval, then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the time interval meets the other time interval
(=> (instance ?A App) (hasPurpose ?A (exists (?A ?P ?C) (and (instance ?C MobileCellPhone) (instance ?P ComputerProcess) (programRunning ?P ?A) (computerRunning ?P ?C)))))	ComputingBrands.kif 1960-1968	If a physical is an instance of app, then the physical has the purpose there exist the physical, an entity and another entity such that the other entity is an instance of mobile cell phone and the entity is an instance of computer process and the physical is a program running of the entity and the entity is running on the other entity
(=> (instance ?EP EmailProgram) (hasPurpose ?EP (exists (?P ?E) (and (instance ?P ComputerProcess) (instance ?E Emailing) (instrument ?E ?P) (programRunning ?P ?EP)))))	ComputingBrands.kif 3120-3128	If a physical is an instance of mailer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of computer process and the other entity is an instance of emailing and the entity is an instrument for the other entity and the physical is a program running of the entity
(=> (instance ?ICM IgnitionControlModule) (hasPurpose ?ICM (exists (?S ?A ?CP) (and (instance ?A Automobile) (instance ?S Spark) (instance ?CP ComputerProcess) (part ?ICM ?A) (eventLocated ?CP ?A) (eventLocated ?S ?A) (causes ?CP ?S)))))	Cars.kif 3167-3178	If a physical is an instance of ignition control module, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of automobile and the entity is an instance of spark and the third entity is an instance of computer process and the physical is a part of the other entity and the third entity is located at the other entity and the entity is located at the other entity and the third entity causes the entity
(=> (instance ?X DeletingData) (and (exists (?DATA) (and (instance ?DATA DigitalData) (patient ?X ?DATA))) (not (exists (?PROC ?CLASS) (and (instance ?PROC ComputerProcess) (instance ?PROC ?CLASS) (not (instance ?PROC RestoringData)) (holdsDuring (ImmediateFutureFn (WhenFn ?X)) (capability ?CLASS patient ?DATA)))))))	QoSontology.kif 112-129	If a process is an instance of deleting data, then there exists an entity such that the entity is an instance of digital data and the entity is a patient of the process and there don't exist another entity and a class such that the other entity is an instance of computer process and the other entity is an instance of the class and the other entity is not an instance of restore and the entity is capable of doing the class as a patient holds during immediately after the time of existence of the process
(=> (instance ?X RestoringData) (exists (?DEL ?PROC ?DATA ?CLASS) (and (instance ?DEL DeletingData) (instance ?DATA DigitalData) (patient ?X ?DATA) (patient ?DEL ?DATA) (earlier (WhenFn ?DEL) (WhenFn ?X)) (instance ?PROC ComputerProcess) (instance ?PROC ?CLASS) (holdsDuring (ImmediateFutureFn (WhenFn ?X)) (capability ?CLASS patient ?DATA)))))	QoSontology.kif 135-151	If a process is an instance of restore, then there exist another process, an entity,, , another entity and a class such that the other process is an instance of deleting data and the other entity is an instance of digital data and the other entity is a patient of the process and the other entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process and the entity is an instance of computer process and the entity is an instance of the class and the other entity is capable of doing the class as a patient holds during immediately after the time of existence of the process
(=> (loggedInDuring ?A ?UA ?T) (modalAttribute (holdsDuring ?T (exists (?P ?C) (and (instance ?P ComputerProcess) (agent ?P ?A) (deviceAccount ?UA ?C) (instance ?C Computer) (computerRunning ?P ?C) (instrument ?P ?C)))) Possibility))	ComputingBrands.kif 4347-4358	If an agent is logged-in to an user account during a time interval, then the statement there exist an entity and another entity such that the entity is an instance of computer process and the agent is an agent of the entity and device account the user account and the other entity and the other entity is an instance of computer and the entity is running on the other entity and the other entity is an instrument for the entity holds during the time interval has the modal force of possibility

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

(documentation ComputerProcess EnglishLanguage "An instance of ComputerProcess is a process which manipulates data in the computer.")	QoSontology.kif 154-155
(externalImage ComputerProcess "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Process_states.svg")	pictureList.kif 1707-1707
(subclass ComputerProcess InternalChange)	QoSontology.kif 153-153	Computer process is a subclass of internal change

(subclass Abort ComputerProcess)	QoSontology.kif 1882-1882	Abort is a subclass of computer process
(subclass ComputerBackingUp ComputerProcess)	ComputingBrands.kif 3491-3491	Backup is a subclass of computer process
(subclass ComputerResponse ComputerProcess)	QoSontology.kif 1741-1741	Computer response is a subclass of computer process
(subclass ComputerTask ComputerProcess)	QoSontology.kif 1794-1794	Computer task is a subclass of computer process
(subclass DHCPServer ComputerProcess)	ComputingBrands.kif 4037-4037	DHCP server is a subclass of computer process
(subclass DataCompression ComputerProcess)	QoSontology.kif 1922-1922	Data compression is a subclass of computer process
(subclass DataSaving ComputerProcess)	QoSontology.kif 1903-1903	Data saving is a subclass of computer process
(subclass DataTransfer ComputerProcess)	QoSontology.kif 91-91	Data transfer is a subclass of computer process
(subclass DeletingData ComputerProcess)	QoSontology.kif 109-109	Deleting data is a subclass of computer process
(subclass Jailbreaking ComputerProcess)	ComputingBrands.kif 3419-3419	Cracking is a subclass of computer process
(subclass MeasuringPerformance ComputerProcess)	QoSontology.kif 883-883	Measuring performance is a subclass of computer process
(subclass MountingADevice ComputerProcess)	ComputingBrands.kif 3792-3792	Mounting is a subclass of computer process
(subclass Multitasking ComputerProcess)	QoSontology.kif 1779-1779	Multitasking is a subclass of computer process
(subclass RestoringData ComputerProcess)	QoSontology.kif 132-132	Restore is a subclass of computer process
(subclass ReusingAResource ComputerProcess)	QoSontology.kif 1973-1973	ReusingA resource is a subclass of computer process
(subclass UserRequest ComputerProcess)	QoSontology.kif 1730-1730	User request is a subclass of computer process
(subclass UserSignifiedAction ComputerProcess)	ComputerInput.kif 1199-1199	User signified action is a subclass of computer process
(subclass UsingAResource ComputerProcess)	QoSontology.kif 1957-1957	UsingA resource is a subclass of computer process
(subclass WindowScrolling ComputerProcess)	ComputerInput.kif 1770-1770	Window scrolling is a subclass of computer process
(termFormat ChineseLanguage ComputerProcess "电脑程序")	domainEnglishFormat.kif 16372-16372	Window scrolling is a subclass of computer process
(termFormat ChineseTraditionalLanguage ComputerProcess "電腦程序")	domainEnglishFormat.kif 16371-16371	Window scrolling is a subclass of computer process
(termFormat EnglishLanguage ComputerProcess "computer process")	domainEnglishFormat.kif 16370-16370	Window scrolling is a subclass of computer process

KB Term:			Term intersection

English Word: