Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerProcess
ComputerProcess(computer process)

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1199-1199 User signified action is a subclass of computer process
(subclass WindowScrolling ComputerProcess) ComputerInput.kif 1770-1770 Window scrolling is a subclass of computer process
(subclass Jailbreaking ComputerProcess) ComputingBrands.kif 3326-3326 Cracking is a subclass of computer process
(subclass ComputerBackingUp ComputerProcess) ComputingBrands.kif 3398-3398 Backup is a subclass of computer process
(subclass MountingADevice ComputerProcess) ComputingBrands.kif 3698-3698 Mounting is a subclass of computer process
(subclass DHCPServer ComputerProcess) ComputingBrands.kif 3943-3943 DHCP server is a subclass of computer process
(subclass DataTransfer ComputerProcess) QoSontology.kif 86-86 Data transfer is a subclass of computer process
(subclass DeletingData ComputerProcess) QoSontology.kif 104-104 Deleting data is a subclass of computer process
(subclass RestoringData ComputerProcess) QoSontology.kif 127-127 Restore is a subclass of computer process
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 987-987 Measuring performance is a subclass of computer process
(subclass UserRequest ComputerProcess) QoSontology.kif 1856-1856 User request is a subclass of computer process
(subclass ComputerResponse ComputerProcess) QoSontology.kif 1867-1867 Computer response is a subclass of computer process
(subclass Multitasking ComputerProcess) QoSontology.kif 1905-1905 Multitasking is a subclass of computer process
(subclass ComputerTask ComputerProcess) QoSontology.kif 1920-1920 Computer task is a subclass of computer process
(subclass Abort ComputerProcess) QoSontology.kif 2008-2008 Abort is a subclass of computer process
(subclass DataSaving ComputerProcess) QoSontology.kif 2029-2029 Data saving is a subclass of computer process
(subclass DataCompression ComputerProcess) QoSontology.kif 2048-2048 Data compression is a subclass of computer process
(subclass UsingAResource ComputerProcess) QoSontology.kif 2083-2083 Using a resource is a subclass of computer process
(subclass ReusingAResource ComputerProcess) QoSontology.kif 2099-2099 Reusing a resource is a subclass of computer process
(termFormat EnglishLanguage ComputerProcess "computer process") domainEnglishFormat.kif 16356-16356 Reusing a resource is a subclass of computer process
(termFormat ChineseTraditionalLanguage ComputerProcess "電腦程序") domainEnglishFormat.kif 16357-16357 Reusing a resource is a subclass of computer process
(termFormat ChineseLanguage ComputerProcess "电脑程序") domainEnglishFormat.kif 16358-16358 Reusing a resource is a subclass of computer process

appearance as argument number 3
-------------------------


(domain accountUsed 1 ComputerProcess) ComputingBrands.kif 4067-4067 The number 1 argument of account used is an instance of computer process
(domain computerRunning 1 ComputerProcess) QoSontology.kif 198-198 The number 1 argument of computer running is an instance of computer process
(domain programRunning 1 ComputerProcess) QoSontology.kif 204-204 The number 1 argument of program running is an instance of computer process
(domain standardInputDevice 1 ComputerProcess) QoSontology.kif 606-606 The number 1 argument of standard input device is an instance of computer process
(domain standardOutputDevice 1 ComputerProcess) QoSontology.kif 620-620 The number 1 argument of standard output device is an instance of computer process
(domain standardErrorDevice 1 ComputerProcess) QoSontology.kif 637-637 The number 1 argument of standard error device is an instance of computer process
(domain stateOfProcess 1 ComputerProcess) QoSontology.kif 676-676 The number 1 argument of state of process is an instance of computer process
(domain processID 1 ComputerProcess) QoSontology.kif 880-880 The number 1 argument of processID is an instance of computer process
(domain status 1 ComputerProcess) QoSontology.kif 902-902 The number 1 argument of status is an instance of computer process
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 2003-2003 The number 1 argument of data processed is an instance of computer process
(domain processAborted 2 ComputerProcess) QoSontology.kif 2015-2015 The number 2 argument of process aborted is an instance of computer process
(domain task 1 ComputerProcess) QoSontology.kif 2078-2078 The number 1 argument of task is an instance of computer process
(domain resourceUsed 1 ComputerProcess) QoSontology.kif 2120-2120 The number 1 argument of resource used is an instance of computer process

antecedent
-------------------------


(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))		 QoSontology.kif 153-160 If X is an instance of computer process, then there exist Y, Z such that Y is an instance of computer, X is running on Y, Z is an instance of computer program, and Z is a program running of X
(=>
    (and
        (instance ?Software SoftwareSystem)
        (instance ?Process ComputerProcess)
        (programRunning ?Process ?Software))
    (exists (?Hardware)
        (and
            (instance ?Hardware HardwareSystem)
            (computerRunning ?Process ?Hardware))))		 QoSontology.kif 295-303 If X is an instance of software system, Y is an instance of computer process, and X is a program running of Y, then there exists Z such that Z is an instance of hardware system and Y is running on Z
(=>
    (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 383-394 If X is a startup of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and W meets U
(=>
    (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 423-434 If X is a shutdown of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and U meets W
(=>
    (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 764-774 If All of the following hold: (1) the startup time delay of X is Y (2) Z is an instance of computer process (3) X is a program running of Z (4) equal the time of existence of Z and W (5) V is an instance of computer process (6) equal the time of existence of V and U (7) W meets T (8) T meets U, then duration of T is Y
(=>
    (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 1358-1372 If All of the following hold: (1) there exist X (2) Y such that Z is a dependency delay of W (3) startup block is a dependency type of W (4) V has a dependency on W (5) U is an instance of computer process (6) W is a program running of U (7) T is an instance of computer process (8) V is a program running of T (9) equal the time of existence of T (10) Y (11) Y starts S (12) equal the time of existence of U (13) X (14) equal the end of S (15) the beginning of X, then duration of S is Z
(=>
    (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 1374-1388 If All of the following hold: (1) there exist X (2) Y such that Z is a dependency delay of W (3) shutdown block is a dependency type of W (4) V has a dependency on W (5) U is an instance of computer process (6) W is a program running of U (7) T is an instance of computer process (8) V is a program running of T (9) equal the time of existence of T (10) Y (11) S finishes X (12) equal the time of existence of T (13) Y (14) equal the beginning of S (15) the end of Y, then duration of S is Z

consequent
-------------------------


(=>
    (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 3260-3271 If X is an instance of ignition control module, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of automobile (3) Y is an instance of spark (4) W is an instance of computer process (5) X is a part of Z (6) W is located at Z (7) Y is located at Z (8) W causes Y
(=>
    (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 X is an instance of app, then X has the purpose there exist X, Y, Z such that Z is an instance of mobile cell phone, Y is an instance of computer process, X is a program running of Y, and Y is running on Z
(=>
    (instance ?EP EmailProgram)
    (hasPurpose ?EP
        (exists (?P ?E)
            (and
                (instance ?P ComputerProcess)
                (instance ?E Emailing)
                (instrument ?E ?P)
                (programRunning ?P ?EP)))))		 ComputingBrands.kif 3031-3039 If X is an instance of mailer, then X has the purpose there exist Y, Z such that Y is an instance of computer process, Z is an instance of emailing, Y is an instrument for Z, and X is a program running of Y
(=>
    (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 3403-3417 If X is an instance of backup, Y is processed by X, Y is an instance of digital data, and Z is an agent of X, then Z desires there exists W such that the time of existence of X happens earlier than W, there exists V such that V is an instance of computer process, and Y is capable of doing V as a data processed holds during W
(=>
    (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 3878-3892 If X is an instance of logging in, Y has account Z, Z is an account at W, equal V and immediately after the time of existence of X, and Y is an agent of X, then the statement there exists U such that U is an instance of computer process, Y is an agent of U, and W is a patient of U holds during V 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 3894-3908 If X is an instance of logging in, Y has account Z, device account Z and W, equal V and immediately after the time of existence of X, and Y is an agent of X, then the statement there exists U such that U is an instance of computer process, Y is an agent of U, and W is an instrument for U holds during V has the modal force of possibility
(=>
    (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 4253-4264 If X is logged_in to Y during Z, then All of the following hold: (1) the statement there exist W (2) V such that W is an instance of computer process (3) X is an agent of W (4) device account Y (5) V (6) V is an instance of computer (7) W is running on V (8) V is an instrument for W holds during Z has the modal force of possibility
(=>
    (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 107-124 If X is an instance of deleting data, then there exists Y such that Y is an instance of digital data and Y is a patient of X and there don't exist Z, W such that Z is an instance of computer process, Z is an instance of W, Z is not an instance of restore, and Y is capable of doing W as a patient holds during immediately after the time of existence of X
(=>
    (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 131-147 If X is an instance of restore, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of deleting data (3) W is an instance of digital data (4) W is a patient of X (5) W is a patient of Y (6) the time of existence of Y happens earlier than the time of existence of X (7) Z is an instance of computer process (8) Z is an instance of V (9) W is capable of doing V as a patient holds during immediately after the time of existence of X
(=>
    (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 383-394 If X is a startup of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and W meets U
(=>
    (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 423-434 If X is a shutdown of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and U meets W
(=>
    (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 956-970 If X is an instance of robot, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of computer process (3) Z is an instance of computer program (4) Y is running on Z (5) X is a patient of Y (6) there exists W such that W is an instance of intentional process (7) X is an instrument for W holds during the time of existence of Y


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