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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 152-153
(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 151-151 Computer process is a subclass of internal change

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


(subclass Abort ComputerProcess) QoSontology.kif 1888-1888 Abort is a subclass of computer process
(subclass ComputerBackingUp ComputerProcess) ComputingBrands.kif 3485-3485 Backup is a subclass of computer process
(subclass ComputerResponse ComputerProcess) QoSontology.kif 1746-1746 Computer response is a subclass of computer process
(subclass ComputerTask ComputerProcess) QoSontology.kif 1799-1799 Computer task is a subclass of computer process
(subclass DHCPServer ComputerProcess) ComputingBrands.kif 3962-3962 DHCP server is a subclass of computer process
(subclass DataCompression ComputerProcess) QoSontology.kif 1928-1928 Data compression is a subclass of computer process
(subclass DataSaving ComputerProcess) QoSontology.kif 1909-1909 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 109-109 DeletingData is a subclass of computer process
(subclass Jailbreaking ComputerProcess) ComputingBrands.kif 3410-3410 Cracking is a subclass of computer process
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 881-881 Measuring performance is a subclass of computer process
(subclass MountingADevice ComputerProcess) ComputingBrands.kif 3770-3770 Mounting is a subclass of computer process
(subclass Multitasking ComputerProcess) QoSontology.kif 1784-1784 Multitasking is a subclass of computer process
(subclass RestoringData ComputerProcess) QoSontology.kif 131-131 Restore is a subclass of computer process
(subclass ReusingAResource ComputerProcess) QoSontology.kif 1979-1979 ReusingA resource is a subclass of computer process
(subclass UserRequest ComputerProcess) QoSontology.kif 1735-1735 User request is a subclass of computer process
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1025-1025 UserSignifiedAction is a subclass of computer process
(subclass UsingAResource ComputerProcess) QoSontology.kif 1963-1963 UsingA resource is a subclass of computer process
(subclass WindowScrolling ComputerProcess) ComputerInput.kif 1552-1552 WindowScrolling is a subclass of computer process
(termFormat ChineseLanguage ComputerProcess "电脑程序") domainEnglishFormat.kif 16285-16285 "电脑程序" is the printable form of computer process in ChineseLanguage
(termFormat ChineseTraditionalLanguage ComputerProcess "電腦程序") domainEnglishFormat.kif 16284-16284 "電腦程序" is the printable form of computer process in ChineseTraditionalLanguage
(termFormat EnglishLanguage ComputerProcess "computer process") domainEnglishFormat.kif 16283-16283 "computer process" is the printable form of computer process in english language

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


(domain accountUsed 1 ComputerProcess) ComputingBrands.kif 4045-4045 The number 1 argument of account used is an instance of computer process
(domain computerRunning 1 ComputerProcess) QoSontology.kif 200-200 The number 1 argument of computer running is an instance of computer process
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 1883-1883 The number 1 argument of data processed is an instance of computer process
(domain processAborted 2 ComputerProcess) QoSontology.kif 1895-1895 The number 2 argument of process aborted is an instance of computer process
(domain processID 1 ComputerProcess) QoSontology.kif 774-774 The number 1 argument of processID is an instance of computer process
(domain programRunning 1 ComputerProcess) QoSontology.kif 206-206 The number 1 argument of program running is an instance of computer process
(domain resourceUsed 1 ComputerProcess) QoSontology.kif 2000-2000 The number 1 argument of resource used is an instance of computer process
(domain standardErrorDevice 1 ComputerProcess) QoSontology.kif 532-532 The number 1 argument of standard error device is an instance of computer process
(domain standardInputDevice 1 ComputerProcess) QoSontology.kif 501-501 The number 1 argument of standard input device is an instance of computer process
(domain standardOutputDevice 1 ComputerProcess) QoSontology.kif 515-515 The number 1 argument of standard output device is an instance of computer process
(domain stateOfProcess 1 ComputerProcess) QoSontology.kif 571-571 The number 1 argument of state of process is an instance of computer process
(domain status 1 ComputerProcess) QoSontology.kif 796-796 The number 1 argument of status is an instance of computer process
(domain task 1 ComputerProcess) QoSontology.kif 1958-1958 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 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