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 155-156
(externalImage ComputerProcess "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Process_states.svg") pictureList.kif 1706-1706
(subclass ComputerProcess InternalChange) QoSontology.kif 154-154 子類 電腦程序 and InternalChange

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


(subclass Abort ComputerProcess) QoSontology.kif 2013-2013 子類 退出 and 電腦程序
(subclass ComputerBackingUp ComputerProcess) ComputingBrands.kif 3487-3487 子類 ComputerBackingUp and 電腦程序
(subclass ComputerResponse ComputerProcess) QoSontology.kif 1872-1872 子類 電腦回應 and 電腦程序
(subclass ComputerTask ComputerProcess) QoSontology.kif 1925-1925 子類 電腦任務 and 電腦程序
(subclass DHCPServer ComputerProcess) ComputingBrands.kif 4032-4032 子類 DHCPServer and 電腦程序
(subclass DataCompression ComputerProcess) QoSontology.kif 2053-2053 子類 數據壓縮 and 電腦程序
(subclass DataSaving ComputerProcess) QoSontology.kif 2034-2034 子類 數據保存 and 電腦程序
(subclass DataTransfer ComputerProcess) QoSontology.kif 91-91 子類 數據傳輸 and 電腦程序
(subclass DeletingData ComputerProcess) QoSontology.kif 109-109 子類 DeletingData and 電腦程序
(subclass Jailbreaking ComputerProcess) ComputingBrands.kif 3415-3415 子類 粉碎 and 電腦程序
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 992-992 子類 測量性能 and 電腦程序
(subclass MountingADevice ComputerProcess) ComputingBrands.kif 3787-3787 子類 MountingADevice and 電腦程序
(subclass Multitasking ComputerProcess) QoSontology.kif 1910-1910 子類 多任務處理 and 電腦程序
(subclass RestoringData ComputerProcess) QoSontology.kif 132-132 子類 RestoringData and 電腦程序
(subclass ReusingAResource ComputerProcess) QoSontology.kif 2104-2104 子類 重用資源 and 電腦程序
(subclass UserRequest ComputerProcess) QoSontology.kif 1861-1861 子類 用戶請求 and 電腦程序
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1199-1199 子類 UserSignifiedAction and 電腦程序
(subclass UsingAResource ComputerProcess) QoSontology.kif 2088-2088 子類 使用A資源 and 電腦程序
(subclass WindowScrolling ComputerProcess) ComputerInput.kif 1770-1770 子類 WindowScrolling and 電腦程序
(termFormat ChineseLanguage ComputerProcess "电脑程序") domainEnglishFormat.kif 16365-16365 子類 WindowScrolling and 電腦程序
(termFormat ChineseTraditionalLanguage ComputerProcess "電腦程序") domainEnglishFormat.kif 16364-16364 子類 WindowScrolling and 電腦程序
(termFormat EnglishLanguage ComputerProcess "computer process") domainEnglishFormat.kif 16363-16363 子類 WindowScrolling and 電腦程序

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


(domain accountUsed 1 ComputerProcess) ComputingBrands.kif 4156-4156 域 accountUsed, 1 and 電腦程序
(domain computerRunning 1 ComputerProcess) QoSontology.kif 203-203 域 電腦運行, 1 and 電腦程序
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 2008-2008 域 數據已處理, 1 and 電腦程序
(domain processAborted 2 ComputerProcess) QoSontology.kif 2020-2020 域 過程中止, 2 and 電腦程序
(domain processID 1 ComputerProcess) QoSontology.kif 885-885 域 過程ID, 1 and 電腦程序
(domain programRunning 1 ComputerProcess) QoSontology.kif 209-209 域 程序運行, 1 and 電腦程序
(domain resourceUsed 1 ComputerProcess) QoSontology.kif 2125-2125 域 使用的資源, 1 and 電腦程序
(domain standardErrorDevice 1 ComputerProcess) QoSontology.kif 642-642 域 標準錯誤設備, 1 and 電腦程序
(domain standardInputDevice 1 ComputerProcess) QoSontology.kif 611-611 域 標準輸入設備, 1 and 電腦程序
(domain standardOutputDevice 1 ComputerProcess) QoSontology.kif 625-625 域 標準輸出設備, 1 and 電腦程序
(domain stateOfProcess 1 ComputerProcess) QoSontology.kif 681-681 域 進程狀態, 1 and 電腦程序
(domain status 1 ComputerProcess) QoSontology.kif 907-907 域 狀態, 1 and 電腦程序
(domain task 1 ComputerProcess) QoSontology.kif 2083-2083 域 任務, 1 and 電腦程序

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


(=>
    (and
        (instance ?Software SoftwareSystem)
        (instance ?Process ComputerProcess)
        (programRunning ?Process ?Software))
    (exists (?Hardware)
        (and
            (instance ?Hardware HardwareSystem)
            (computerRunning ?Process ?Hardware))))		 QoSontology.kif 300-308
(=>
    (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 428-439
(=>
    (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 388-399
(=>
    (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 769-779
(=>
    (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 1379-1393
(=>
    (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 1363-1377
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))		 QoSontology.kif 158-165

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 3492-3506
(=>
    (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 3967-3981
(=>
    (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 3983-3997
(=>
    (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 428-439
(=>
    (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 388-399
(=>
    (instance ?A App)
    (hasPurpose ?A
        (exists (?A ?P ?C)
            (and
                (instance ?C MobileCellPhone)
                (instance ?P ComputerProcess)
                (programRunning ?P ?A)
                (computerRunning ?P ?C)))))		 ComputingBrands.kif 1960-1968
(=>
    (instance ?EP EmailProgram)
    (hasPurpose ?EP
        (exists (?P ?E)
            (and
                (instance ?P ComputerProcess)
                (instance ?E Emailing)
                (instrument ?E ?P)
                (programRunning ?P ?EP)))))		 ComputingBrands.kif 3120-3128
(=>
    (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 3243-3254
(=>
    (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 999-1013
(=>
    (instance ?X DeletingData)
    (and
        (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 112-129
(=>
    (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 136-152
(=>
    (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 4342-4353


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