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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ComputerProcess
ComputerProcess

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


(documentation ComputerProcess EnglishLanguage "An instance of ComputerProcess is a process which manipulates data in the computer.") QoSontology.kif 152-153
(externalImage ComputerProcess "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Process_states.svg") pictureList.kif 1708-1708
(subclass ComputerProcess InternalChange) QoSontology.kif 151-151 subclass ComputerProcess and InternalChange

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


(subclass Abort ComputerProcess) QoSontology.kif 1888-1888 subclass Abort and ComputerProcess
(subclass ComputerBackingUp ComputerProcess) ComputingBrands.kif 3480-3480 subclass ComputerBackingUp and ComputerProcess
(subclass ComputerResponse ComputerProcess) QoSontology.kif 1746-1746 subclass ComputerResponse and ComputerProcess
(subclass ComputerTask ComputerProcess) QoSontology.kif 1799-1799 subclass ComputerTask and ComputerProcess
(subclass DHCPServer ComputerProcess) ComputingBrands.kif 3957-3957 subclass DHCPServer and ComputerProcess
(subclass DataCompression ComputerProcess) QoSontology.kif 1928-1928 subclass DataCompression and ComputerProcess
(subclass DataSaving ComputerProcess) QoSontology.kif 1909-1909 subclass DataSaving and ComputerProcess
(subclass DataTransfer ComputerProcess) QoSontology.kif 91-91 subclass DataTransfer and ComputerProcess
(subclass DeletingData ComputerProcess) QoSontology.kif 109-109 subclass DeletingData and ComputerProcess
(subclass Jailbreaking ComputerProcess) ComputingBrands.kif 3405-3405 subclass クラッキング and ComputerProcess
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 881-881 subclass MeasuringPerformance and ComputerProcess
(subclass MountingADevice ComputerProcess) ComputingBrands.kif 3765-3765 subclass MountingADevice and ComputerProcess
(subclass Multitasking ComputerProcess) QoSontology.kif 1784-1784 subclass Multitasking and ComputerProcess
(subclass RestoringData ComputerProcess) QoSontology.kif 131-131 subclass RestoringData and ComputerProcess
(subclass ReusingAResource ComputerProcess) QoSontology.kif 1979-1979 subclass ReusingAResource and ComputerProcess
(subclass UserRequest ComputerProcess) QoSontology.kif 1735-1735 subclass UserRequest and ComputerProcess
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1226-1226 subclass UserSignifiedAction and ComputerProcess
(subclass UsingAResource ComputerProcess) QoSontology.kif 1963-1963 subclass UsingAResource and ComputerProcess
(subclass WindowScrolling ComputerProcess) ComputerInput.kif 1785-1785 subclass WindowScrolling and ComputerProcess
(termFormat ChineseLanguage ComputerProcess "电脑程序") domainEnglishFormat.kif 16279-16279
(termFormat ChineseTraditionalLanguage ComputerProcess "電腦程序") domainEnglishFormat.kif 16278-16278
(termFormat EnglishLanguage ComputerProcess "computer process") domainEnglishFormat.kif 16277-16277

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


(domain accountUsed 1 ComputerProcess) ComputingBrands.kif 4081-4081 domain accountUsed, 1 and ComputerProcess
(domain computerRunning 1 ComputerProcess) QoSontology.kif 200-200 domain computerRunning, 1 and ComputerProcess
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 1883-1883 domain dataProcessed, 1 and ComputerProcess
(domain processAborted 2 ComputerProcess) QoSontology.kif 1895-1895 domain processAborted, 2 and ComputerProcess
(domain processID 1 ComputerProcess) QoSontology.kif 774-774 domain processID, 1 and ComputerProcess
(domain programRunning 1 ComputerProcess) QoSontology.kif 206-206 domain programRunning, 1 and ComputerProcess
(domain resourceUsed 1 ComputerProcess) QoSontology.kif 2000-2000 domain resourceUsed, 1 and ComputerProcess
(domain standardErrorDevice 1 ComputerProcess) QoSontology.kif 532-532 domain standardErrorDevice, 1 and ComputerProcess
(domain standardInputDevice 1 ComputerProcess) QoSontology.kif 501-501 domain standardInputDevice, 1 and ComputerProcess
(domain standardOutputDevice 1 ComputerProcess) QoSontology.kif 515-515 domain standardOutputDevice, 1 and ComputerProcess
(domain stateOfProcess 1 ComputerProcess) QoSontology.kif 571-571 domain stateOfProcess, 1 and ComputerProcess
(domain status 1 ComputerProcess) QoSontology.kif 796-796 domain status, 1 and ComputerProcess
(domain task 1 ComputerProcess) QoSontology.kif 1958-1958 domain task, 1 and ComputerProcess

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


(=>
    (and
        (instance ?Software SoftwareSystem)
        (instance ?Process ComputerProcess)
        (programRunning ?Process ?Software))
    (exists (?Hardware)
        (and
            (instance ?Hardware HardwareSystem)
            (computerRunning ?Process ?Hardware))))		 QoSontology.kif 297-305
(=>
    (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 425-436
(=>
    (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 385-396
(=>
    (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))
    (measure ?Time ?Delay))		 QoSontology.kif 658-668
(=>
    (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 1275-1289
(=>
    (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 1259-1273
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))		 QoSontology.kif 155-162

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 3485-3499
(=>
    (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 3892-3906
(=>
    (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 3908-3922
(=>
    (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 425-436
(=>
    (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 385-396
(=>
    (instance ?A App)
    (hasPurpose ?A
        (exists (?A ?P)
            (and
                (instance ?C MobileCellPhone)
                (instance ?P ComputerProcess)
                (programRunning ?P ?A)
                (computerRunning ?P ?C)))))		 ComputingBrands.kif 1938-1946
(=>
    (instance ?EP EmailProgram)
    (hasPurpose ?EP
        (exists (?P ?E)
            (and
                (instance ?P ComputerProcess)
                (instance ?E Emailing)
                (instrument ?E ?P)
                (programRunning ?P ?EP)))))		 ComputingBrands.kif 3091-3099
(=>
    (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 3157-3168
(=>
    (instance ?X DeletingData)
    (and
        (exists (?DATA)
            (and
                (instance ?DATA DigitalData)
                (patient ?X ?DATA)))
        (not
            (exists (?PROC)
                (and
                    (instance ?PROC ComputerProcess)
                    (not
                        (instance ?PROC RestoringData))
                    (holdsDuring
                        (ImmediateFutureFn
                            (WhenFn ?X))
                        (capability ?PROC patient ?DATA)))))))		 QoSontology.kif 112-128
(=>
    (instance ?X RestoringData)
    (exists (?DEL ?PROC ?DATA)
        (and
            (instance ?DEL DeletingData)
            (instance ?DATA DigitalData)
            (patient ?X ?DATA)
            (patient ?DEL ?DATA)
            (earlier
                (WhenFn ?DEL)
                (WhenFn ?X))
            (instance ?PROC ComputerProcess)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?X))
                (capability ?PROC patient ?DATA)))))		 QoSontology.kif 134-149
(=>
    (loggedInDuring ?A ?UA ?T)
    (modalAttribute
        (holdsDuring ?T
            (exists (?P)
                (and
                    (instance ?P ComputerProcess)
                    (agent ?P ?A)
                    (deviceAccount ?UA ?C)
                    (instance ?C Computer)
                    (computerRunning ?P ?C)
                    (instrument ?P ?C)))) Possibility))		 ComputingBrands.kif 4267-4278


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