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 externalImage ComputerProcess and "http://upload.wikimedia.org/wikipedia/commons/8/83/ Process_states.svg"
(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 3485-3485 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 3962-3962 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 3410-3410 subclass クラッキング and ComputerProcess
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 881-881 subclass MeasuringPerformance and ComputerProcess
(subclass MountingADevice ComputerProcess) ComputingBrands.kif 3770-3770 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 1025-1025 subclass UserSignifiedAction and ComputerProcess
(subclass UsingAResource ComputerProcess) QoSontology.kif 1963-1963 subclass UsingAResource and ComputerProcess
(subclass WindowScrolling ComputerProcess) ComputerInput.kif 1552-1552 subclass WindowScrolling and ComputerProcess
(termFormat ChineseLanguage ComputerProcess "电脑程序") domainEnglishFormat.kif 16285-16285 termFormat ChineseLanguage, ComputerProcess and "电脑程序"
(termFormat ChineseTraditionalLanguage ComputerProcess "電腦程序") domainEnglishFormat.kif 16284-16284 termFormat ChineseTraditionalLanguage, ComputerProcess and "電腦程序"
(termFormat EnglishLanguage ComputerProcess "computer process") domainEnglishFormat.kif 16283-16283 termFormat EnglishLanguage, ComputerProcess and "computer process"

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


(domain accountUsed 1 ComputerProcess) ComputingBrands.kif 4045-4045 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 3490-3504
(=>
    (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 3897-3911
(=>
    (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 3913-3927
(=>
    (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 1940-1948
(=>
    (instance ?EP EmailProgram)
    (hasPurpose ?EP
        (exists (?P ?E)
            (and
                (instance ?P ComputerProcess)
                (instance ?E Emailing)
                (instrument ?E ?P)
                (programRunning ?P ?EP)))))
ComputingBrands.kif 3093-3101
(=>
    (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 3156-3167
(=>
    (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 4231-4242


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners