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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerProcess

Sigma KEE - ComputerProcess
ComputerProcess(computer process)
computer_process, fragmentation, interrupt, swap, terminal_emulation, thrash

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


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

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


(subclass Abort ComputerProcess) QoSontology.kif 1877-1877 Abort is a subclass of computer process
(subclass ComputerBackingUp ComputerProcess) ComputingBrands.kif 3292-3292 Backup is a subclass of computer process
(subclass ComputerResponse ComputerProcess) QoSontology.kif 1736-1736 Computer response is a subclass of computer process
(subclass ComputerTask ComputerProcess) QoSontology.kif 1788-1788 Computer task is a subclass of computer process
(subclass DataCompression ComputerProcess) QoSontology.kif 1916-1916 Data compression is a subclass of computer process
(subclass DataSaving ComputerProcess) QoSontology.kif 1897-1897 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 108-108 DeletingData is a subclass of computer process
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 871-871 Measuring performance is a subclass of computer process
(subclass MountingADevice ComputerProcess) ComputingBrands.kif 3579-3579 Mounting is a subclass of computer process
(subclass Multitasking ComputerProcess) QoSontology.kif 1774-1774 Multitasking is a subclass of computer process
(subclass RestoringData ComputerProcess) QoSontology.kif 129-129 Restore is a subclass of computer process
(subclass ReusingAResource ComputerProcess) QoSontology.kif 1961-1961 ReusingA resource is a subclass of computer process
(subclass UserRequest ComputerProcess) QoSontology.kif 1725-1725 User request is a subclass of computer process
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 919-919 UserSignifiedAction is a subclass of computer process
(subclass UsingAResource ComputerProcess) QoSontology.kif 1945-1945 UsingA resource is a subclass of computer process
(subclass WindowScrolling ComputerProcess) ComputerInput.kif 1383-1383 WindowScrolling is a subclass of computer process
(termFormat EnglishLanguage ComputerProcess "computer process") domainEnglishFormat.kif 3147-3147 "computer process" is the printable form of computer process in english language

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


(domain computerRunning 1 ComputerProcess) QoSontology.kif 197-197 The number 1 argument of computer running is an instance of computer process
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 1872-1872 The number 1 argument of data processed is an instance of computer process
(domain processAborted 2 ComputerProcess) QoSontology.kif 1884-1884 The number 2 argument of process aborted is an instance of computer process
(domain processID 1 ComputerProcess) QoSontology.kif 764-764 The number 1 argument of processI d 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 resourceUsed 1 ComputerProcess) QoSontology.kif 1982-1982 The number 1 argument of resource used is an instance of computer process
(domain standardErrorDevice 1 ComputerProcess) QoSontology.kif 529-529 The number 1 argument of standard error device is an instance of computer process
(domain standardInputDevice 1 ComputerProcess) QoSontology.kif 498-498 The number 1 argument of standard input device is an instance of computer process
(domain standardOutputDevice 1 ComputerProcess) QoSontology.kif 512-512 The number 1 argument of standard output device is an instance of computer process
(domain stateOfProcess 1 ComputerProcess) QoSontology.kif 569-569 The number 1 argument of state of process is an instance of computer process
(domain status 1 ComputerProcess) QoSontology.kif 786-786 The number 1 argument of status is an instance of computer process
(domain task 1 ComputerProcess) QoSontology.kif 1940-1940 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 294-302
(=>
    (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 422-433
(=>
    (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 382-393
(=>
    (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 656-666
(=>
    (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 1265-1279
(=>
    (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 1249-1263
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 152-159

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 3297-3311
(=>
    (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 422-433
(=>
    (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 382-393
(=>
    (instance ?A App)
    (hasPurpose ?A
        (exists (?A ?P)
            (and
                (instance ?C MobileCellPhone)
                (instance ?P ComputerProcess)
                (programRunning ?P ?A)
                (computerRunning ?P ?C)))))
ComputingBrands.kif 1854-1862
(=>
    (instance ?EP EmailProgram)
    (hasPurpose ?EP
        (exists (?P ?E)
            (and
                (instance ?P ComputerProcess)
                (instance ?E Emailing)
                (instrument ?E ?P)
                (programRunning ?P ?EP)))))
ComputingBrands.kif 2923-2931
(=>
    (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 3153-3164
(=>
    (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 110-126
(=>
    (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 131-146


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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