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
(subclass ComputerProcess InternalChange) QoSontology.kif 151-151 电脑程序 是 内部变化 的 subclass

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


(subclass Abort ComputerProcess) QoSontology.kif 1888-1888 退出 是 电脑程序 的 subclass
(subclass ComputerBackingUp ComputerProcess) ComputingBrands.kif 3485-3485 ComputerBackingUp 是 电脑程序 的 subclass
(subclass ComputerResponse ComputerProcess) QoSontology.kif 1746-1746 电脑回应 是 电脑程序 的 subclass
(subclass ComputerTask ComputerProcess) QoSontology.kif 1799-1799 电脑任务 是 电脑程序 的 subclass
(subclass DHCPServer ComputerProcess) ComputingBrands.kif 3962-3962 DHCPServer 是 电脑程序 的 subclass
(subclass DataCompression ComputerProcess) QoSontology.kif 1928-1928 数据压缩 是 电脑程序 的 subclass
(subclass DataSaving ComputerProcess) QoSontology.kif 1909-1909 数据保存 是 电脑程序 的 subclass
(subclass DataTransfer ComputerProcess) QoSontology.kif 91-91 数据传输 是 电脑程序 的 subclass
(subclass DeletingData ComputerProcess) QoSontology.kif 109-109 DeletingData 是 电脑程序 的 subclass
(subclass Jailbreaking ComputerProcess) ComputingBrands.kif 3410-3410 粉碎 是 电脑程序 的 subclass
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 881-881 测量性能 是 电脑程序 的 subclass
(subclass MountingADevice ComputerProcess) ComputingBrands.kif 3770-3770 MountingADevice 是 电脑程序 的 subclass
(subclass Multitasking ComputerProcess) QoSontology.kif 1784-1784 多任务处理 是 电脑程序 的 subclass
(subclass RestoringData ComputerProcess) QoSontology.kif 131-131 RestoringData 是 电脑程序 的 subclass
(subclass ReusingAResource ComputerProcess) QoSontology.kif 1979-1979 重用资源 是 电脑程序 的 subclass
(subclass UserRequest ComputerProcess) QoSontology.kif 1735-1735 用户请求 是 电脑程序 的 subclass
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1226-1226 UserSignifiedAction 是 电脑程序 的 subclass
(subclass UsingAResource ComputerProcess) QoSontology.kif 1963-1963 使用A资源 是 电脑程序 的 subclass
(subclass WindowScrolling ComputerProcess) ComputerInput.kif 1785-1785 WindowScrolling 是 电脑程序 的 subclass
(termFormat ChineseLanguage ComputerProcess "电脑程序") domainEnglishFormat.kif 16279-16279
(termFormat ChineseTraditionalLanguage ComputerProcess "電腦程序") domainEnglishFormat.kif 16278-16278
(termFormat EnglishLanguage ComputerProcess "computer process") domainEnglishFormat.kif 16277-16277

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


(domain accountUsed 1 ComputerProcess) ComputingBrands.kif 4086-4086 accountUsed 的 1 数量 是 电脑程序 的 instance
(domain computerRunning 1 ComputerProcess) QoSontology.kif 200-200 电脑运行 的 1 数量 是 电脑程序 的 instance
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 1883-1883 数据已处理 的 1 数量 是 电脑程序 的 instance
(domain processAborted 2 ComputerProcess) QoSontology.kif 1895-1895 过程中止 的 2 数量 是 电脑程序 的 instance
(domain processID 1 ComputerProcess) QoSontology.kif 774-774 过程ID 的 1 数量 是 电脑程序 的 instance
(domain programRunning 1 ComputerProcess) QoSontology.kif 206-206 程序运行 的 1 数量 是 电脑程序 的 instance
(domain resourceUsed 1 ComputerProcess) QoSontology.kif 2000-2000 使用的资源 的 1 数量 是 电脑程序 的 instance
(domain standardErrorDevice 1 ComputerProcess) QoSontology.kif 532-532 标准错误设备 的 1 数量 是 电脑程序 的 instance
(domain standardInputDevice 1 ComputerProcess) QoSontology.kif 501-501 标准输入设备 的 1 数量 是 电脑程序 的 instance
(domain standardOutputDevice 1 ComputerProcess) QoSontology.kif 515-515 标准输出设备 的 1 数量 是 电脑程序 的 instance
(domain stateOfProcess 1 ComputerProcess) QoSontology.kif 571-571 进程状态 的 1 数量 是 电脑程序 的 instance
(domain status 1 ComputerProcess) QoSontology.kif 796-796 状态 的 1 数量 是 电脑程序 的 instance
(domain task 1 ComputerProcess) QoSontology.kif 1958-1958 任务 的 1 数量 是 电脑程序 的 instance

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 3157-3168
(=>
    (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 4272-4283


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