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)
fragmentation, interrupt, swap, terminal_emulation, thrash

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


(subclass ComputerProcess InternalChange) QoSontology.kif 148-148 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 149-150 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 1215-1215 User signified action is a subclass of computer process
(subclass WindowScrolling ComputerProcess) ComputerInput.kif 1786-1786 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 126-126 Restore is a subclass of computer process
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 979-979 Measuring performance is a subclass of computer process
(subclass UserRequest ComputerProcess) QoSontology.kif 1854-1854 User request is a subclass of computer process
(subclass ComputerResponse ComputerProcess) QoSontology.kif 1865-1865 Computer response is a subclass of computer process
(subclass Multitasking ComputerProcess) QoSontology.kif 1903-1903 Multitasking is a subclass of computer process
(subclass ComputerTask ComputerProcess) QoSontology.kif 1918-1918 Computer task is a subclass of computer process
(subclass Abort ComputerProcess) QoSontology.kif 2006-2006 Abort is a subclass of computer process
(subclass DataSaving ComputerProcess) QoSontology.kif 2027-2027 Data saving is a subclass of computer process
(subclass DataCompression ComputerProcess) QoSontology.kif 2046-2046 Data compression is a subclass of computer process
(subclass UsingAResource ComputerProcess) QoSontology.kif 2081-2081 Using a resource is a subclass of computer process
(subclass ReusingAResource ComputerProcess) QoSontology.kif 2097-2097 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 197-197 The number 1 argument of computer running is an instance of computer process
(domain programRunning 1 ComputerProcess) QoSontology.kif 203-203 The number 1 argument of program running is an instance of computer process
(domain standardInputDevice 1 ComputerProcess) QoSontology.kif 597-597 The number 1 argument of standard input device is an instance of computer process
(domain standardOutputDevice 1 ComputerProcess) QoSontology.kif 611-611 The number 1 argument of standard output device is an instance of computer process
(domain standardErrorDevice 1 ComputerProcess) QoSontology.kif 628-628 The number 1 argument of standard error device is an instance of computer process
(domain stateOfProcess 1 ComputerProcess) QoSontology.kif 667-667 The number 1 argument of state of process is an instance of computer process
(domain processID 1 ComputerProcess) QoSontology.kif 872-872 The number 1 argument of processID is an instance of computer process
(domain status 1 ComputerProcess) QoSontology.kif 894-894 The number 1 argument of status is an instance of computer process
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 2001-2001 The number 1 argument of data processed is an instance of computer process
(domain processAborted 2 ComputerProcess) QoSontology.kif 2013-2013 The number 2 argument of process aborted is an instance of computer process
(domain task 1 ComputerProcess) QoSontology.kif 2076-2076 The number 1 argument of task is an instance of computer process
(domain resourceUsed 1 ComputerProcess) QoSontology.kif 2118-2118 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 152-159 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 292-300 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 380-391 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 420-431 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 755-765 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
(=>
    (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 1350-1367 If All of the following hold: (1) X is a dependency delay of Y (2) startup block is a dependency type of Y (3) Z has a dependency on Y (4) W is an instance of computer process (5) Y is a program running of W (6) V is an instance of computer process (7) Z is a program running of V (8) equal the time of existence of V and U (9) U starts T (10) equal the time of existence of W and S (11) equal the end of T and the beginning of S, then duration of T is X
(=>
    (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 1369-1386 If All of the following hold: (1) X is a dependency delay of Y (2) shutdown block is a dependency type of Y (3) Z has a dependency on Y (4) W is an instance of computer process (5) Y is a program running of W (6) V is an instance of computer process (7) Z is a program running of V (8) equal the time of existence of V and U (9) T finishes S (10) equal the time of existence of V and U (11) equal the beginning of T and the end of U, then duration of T is X

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 3072-3083 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 (?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 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)
    (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-123 If X is an instance of deleting data, then All of the following hold: (1) there exists Y such that Y is an instance of digital data (2) Y is a patient of X (3) there don't exist Z (4) W such that Z is an instance of computer process (5) Z is an instance of W (6) Z is not an instance of restore (7) 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 130-146 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 380-391 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 420-431 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 1086-1100 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.0-59f850aa (2026-04-26) is open source software produced by Articulate Software and its partners