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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerProcess

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 154-155
(externalImage ComputerProcess "http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Process_states.svg") pictureList.kif 1707-1707
(subclass ComputerProcess InternalChange) QoSontology.kif 153-153 电脑程序内部变化subclass

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


(subclass Abort ComputerProcess) QoSontology.kif 1882-1882 退出电脑程序subclass
(subclass ComputerBackingUp ComputerProcess) ComputingBrands.kif 3491-3491 ComputerBackingUp电脑程序subclass
(subclass ComputerResponse ComputerProcess) QoSontology.kif 1741-1741 电脑回应电脑程序subclass
(subclass ComputerTask ComputerProcess) QoSontology.kif 1794-1794 电脑任务电脑程序subclass
(subclass DHCPServer ComputerProcess) ComputingBrands.kif 4037-4037 DHCPServer电脑程序subclass
(subclass DataCompression ComputerProcess) QoSontology.kif 1922-1922 数据压缩电脑程序subclass
(subclass DataSaving ComputerProcess) QoSontology.kif 1903-1903 数据保存电脑程序subclass
(subclass DataTransfer ComputerProcess) QoSontology.kif 91-91 数据传输电脑程序subclass
(subclass DeletingData ComputerProcess) QoSontology.kif 109-109 DeletingData电脑程序subclass
(subclass Jailbreaking ComputerProcess) ComputingBrands.kif 3419-3419 粉碎电脑程序subclass
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 883-883 测量性能电脑程序subclass
(subclass MountingADevice ComputerProcess) ComputingBrands.kif 3792-3792 MountingADevice电脑程序subclass
(subclass Multitasking ComputerProcess) QoSontology.kif 1779-1779 多任务处理电脑程序subclass
(subclass RestoringData ComputerProcess) QoSontology.kif 132-132 RestoringData电脑程序subclass
(subclass ReusingAResource ComputerProcess) QoSontology.kif 1973-1973 重用资源电脑程序subclass
(subclass UserRequest ComputerProcess) QoSontology.kif 1730-1730 用户请求电脑程序subclass
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1199-1199 UserSignifiedAction电脑程序subclass
(subclass UsingAResource ComputerProcess) QoSontology.kif 1957-1957 使用A资源电脑程序subclass
(subclass WindowScrolling ComputerProcess) ComputerInput.kif 1770-1770 WindowScrolling电脑程序subclass
(termFormat ChineseLanguage ComputerProcess "电脑程序") domainEnglishFormat.kif 16356-16356
(termFormat ChineseTraditionalLanguage ComputerProcess "電腦程序") domainEnglishFormat.kif 16355-16355
(termFormat EnglishLanguage ComputerProcess "computer process") domainEnglishFormat.kif 16354-16354

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


(domain accountUsed 1 ComputerProcess) ComputingBrands.kif 4161-4161 accountUsed 的 1 数量 是 电脑程序instance
(domain computerRunning 1 ComputerProcess) QoSontology.kif 202-202 电脑运行 的 1 数量 是 电脑程序instance
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 1877-1877 数据已处理 的 1 数量 是 电脑程序instance
(domain processAborted 2 ComputerProcess) QoSontology.kif 1889-1889 过程中止 的 2 数量 是 电脑程序instance
(domain processID 1 ComputerProcess) QoSontology.kif 776-776 过程ID 的 1 数量 是 电脑程序instance
(domain programRunning 1 ComputerProcess) QoSontology.kif 208-208 程序运行 的 1 数量 是 电脑程序instance
(domain resourceUsed 1 ComputerProcess) QoSontology.kif 1994-1994 使用的资源 的 1 数量 是 电脑程序instance
(domain standardErrorDevice 1 ComputerProcess) QoSontology.kif 534-534 标准错误设备 的 1 数量 是 电脑程序instance
(domain standardInputDevice 1 ComputerProcess) QoSontology.kif 503-503 标准输入设备 的 1 数量 是 电脑程序instance
(domain standardOutputDevice 1 ComputerProcess) QoSontology.kif 517-517 标准输出设备 的 1 数量 是 电脑程序instance
(domain stateOfProcess 1 ComputerProcess) QoSontology.kif 573-573 进程状态 的 1 数量 是 电脑程序instance
(domain status 1 ComputerProcess) QoSontology.kif 798-798 状态 的 1 数量 是 电脑程序instance
(domain task 1 ComputerProcess) QoSontology.kif 1952-1952 任务 的 1 数量 是 电脑程序instance

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


(=>
    (and
        (instance ?Software SoftwareSystem)
        (instance ?Process ComputerProcess)
        (programRunning ?Process ?Software))
    (exists (?Hardware)
        (and
            (instance ?Hardware HardwareSystem)
            (computerRunning ?Process ?Hardware))))
QoSontology.kif 299-307
(=>
    (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 427-438
(=>
    (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 387-398
(=>
    (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 660-670
(=>
    (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 1270-1284
(=>
    (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 1254-1268
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))
QoSontology.kif 157-164

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 3496-3510
(=>
    (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 3972-3986
(=>
    (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 3988-4002
(=>
    (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 427-438
(=>
    (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 387-398
(=>
    (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 3182-3193
(=>
    (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 135-151
(=>
    (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 4347-4358


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 3.0 is open source software produced by Articulate Software and its partners