ComputerProcess - Sigma Knowledge base Browser

appearance as argument number 3

(domain accountUsed 1 ComputerProcess)	ComputingBrands.kif 4156-4156	The number 1 argument of account used is an instance of computer process
(domain computerRunning 1 ComputerProcess)	QoSontology.kif 203-203	The number 1 argument of computer running is an instance of computer process
(domain dataProcessed 1 ComputerProcess)	QoSontology.kif 2008-2008	The number 1 argument of data processed is an instance of computer process
(domain processAborted 2 ComputerProcess)	QoSontology.kif 2020-2020	The number 2 argument of process aborted is an instance of computer process
(domain processID 1 ComputerProcess)	QoSontology.kif 885-885	The number 1 argument of processID is an instance of computer process
(domain programRunning 1 ComputerProcess)	QoSontology.kif 209-209	The number 1 argument of program running is an instance of computer process
(domain resourceUsed 1 ComputerProcess)	QoSontology.kif 2125-2125	The number 1 argument of resource used is an instance of computer process
(domain standardErrorDevice 1 ComputerProcess)	QoSontology.kif 642-642	The number 1 argument of standard error device is an instance of computer process
(domain standardInputDevice 1 ComputerProcess)	QoSontology.kif 611-611	The number 1 argument of standard input device is an instance of computer process
(domain standardOutputDevice 1 ComputerProcess)	QoSontology.kif 625-625	The number 1 argument of standard output device is an instance of computer process
(domain stateOfProcess 1 ComputerProcess)	QoSontology.kif 681-681	The number 1 argument of state of process is an instance of computer process
(domain status 1 ComputerProcess)	QoSontology.kif 907-907	The number 1 argument of status is an instance of computer process
(domain task 1 ComputerProcess)	QoSontology.kif 2083-2083	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 300-308	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 428-439	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 388-399	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 769-779	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 1379-1393	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 1363-1377	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 158-165	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 3492-3506	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 3967-3981	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 3983-3997	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 428-439	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 388-399	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 3243-3254	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 ?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	If a physical is an instance of robot, 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 computer program and the entity is running on the other entity and the physical is a patient of the entity and there exists a third entity such that the third entity is an instance of intentional process and the physical is an instrument for the third entity holds during the time of existence of 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 136-152	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 4342-4353	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 155-156
(externalImage ComputerProcess "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Process_states.svg")	pictureList.kif 1706-1706
(subclass ComputerProcess InternalChange)	QoSontology.kif 154-154	Computer process is a subclass of internal change

(subclass Abort ComputerProcess)	QoSontology.kif 2013-2013	Abort is a subclass of computer process
(subclass ComputerBackingUp ComputerProcess)	ComputingBrands.kif 3487-3487	Backup is a subclass of computer process
(subclass ComputerResponse ComputerProcess)	QoSontology.kif 1872-1872	Computer response is a subclass of computer process
(subclass ComputerTask ComputerProcess)	QoSontology.kif 1925-1925	Computer task is a subclass of computer process
(subclass DHCPServer ComputerProcess)	ComputingBrands.kif 4032-4032	DHCP server is a subclass of computer process
(subclass DataCompression ComputerProcess)	QoSontology.kif 2053-2053	Data compression is a subclass of computer process
(subclass DataSaving ComputerProcess)	QoSontology.kif 2034-2034	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 3415-3415	Cracking is a subclass of computer process
(subclass MeasuringPerformance ComputerProcess)	QoSontology.kif 992-992	Measuring performance is a subclass of computer process
(subclass MountingADevice ComputerProcess)	ComputingBrands.kif 3787-3787	Mounting is a subclass of computer process
(subclass Multitasking ComputerProcess)	QoSontology.kif 1910-1910	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 2104-2104	Reusing a resource is a subclass of computer process
(subclass UserRequest ComputerProcess)	QoSontology.kif 1861-1861	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 2088-2088	Using a 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 16371-16371	Window scrolling is a subclass of computer process
(termFormat ChineseTraditionalLanguage ComputerProcess "電腦程序")	domainEnglishFormat.kif 16370-16370	Window scrolling is a subclass of computer process
(termFormat EnglishLanguage ComputerProcess "computer process")	domainEnglishFormat.kif 16369-16369	Window scrolling is a subclass of computer process

KB Term:			Term intersection

English Word: