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 1887-1887 退出电脑程序subclass
(subclass ComputerBackingUp ComputerProcess) ComputingBrands.kif 3456-3456 ComputerBackingUp电脑程序subclass
(subclass ComputerResponse ComputerProcess) QoSontology.kif 1746-1746 电脑回应电脑程序subclass
(subclass ComputerTask ComputerProcess) QoSontology.kif 1799-1799 电脑任务电脑程序subclass
(subclass DHCPServer ComputerProcess) ComputingBrands.kif 4000-4000 DHCPServer电脑程序subclass
(subclass DataCompression ComputerProcess) QoSontology.kif 1927-1927 数据压缩电脑程序subclass
(subclass DataSaving ComputerProcess) QoSontology.kif 1908-1908 数据保存电脑程序subclass
(subclass DataTransfer ComputerProcess) QoSontology.kif 91-91 数据传输电脑程序subclass
(subclass DeletingData ComputerProcess) QoSontology.kif 109-109 DeletingData电脑程序subclass
(subclass Jailbreaking ComputerProcess) ComputingBrands.kif 3385-3385 粉碎电脑程序subclass
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 881-881 测量性能电脑程序subclass
(subclass MountingADevice ComputerProcess) ComputingBrands.kif 3755-3755 MountingADevice电脑程序subclass
(subclass Multitasking ComputerProcess) QoSontology.kif 1784-1784 多任务处理电脑程序subclass
(subclass RestoringData ComputerProcess) QoSontology.kif 131-131 RestoringData电脑程序subclass
(subclass ReusingAResource ComputerProcess) QoSontology.kif 1978-1978 重用资源电脑程序subclass
(subclass UserRequest ComputerProcess) QoSontology.kif 1735-1735 用户请求电脑程序subclass
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1196-1196 UserSignifiedAction电脑程序subclass
(subclass UsingAResource ComputerProcess) QoSontology.kif 1962-1962 使用A资源电脑程序subclass
(subclass WindowScrolling ComputerProcess) ComputerInput.kif 1767-1767 WindowScrolling电脑程序subclass
(termFormat ChineseLanguage ComputerProcess "电脑程序") domainEnglishFormat.kif 16347-16347
(termFormat ChineseTraditionalLanguage ComputerProcess "電腦程序") domainEnglishFormat.kif 16346-16346
(termFormat EnglishLanguage ComputerProcess "computer process") domainEnglishFormat.kif 16345-16345

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


(domain accountUsed 1 ComputerProcess) ComputingBrands.kif 4124-4124 accountUsed 的 1 数量 是 电脑程序instance
(domain computerRunning 1 ComputerProcess) QoSontology.kif 200-200 电脑运行 的 1 数量 是 电脑程序instance
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 1882-1882 数据已处理 的 1 数量 是 电脑程序instance
(domain processAborted 2 ComputerProcess) QoSontology.kif 1894-1894 过程中止 的 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 1999-1999 使用的资源 的 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 1957-1957 任务 的 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 3461-3475
(=>
    (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 3935-3949
(=>
    (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 3951-3965
(=>
    (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 1928-1936
(=>
    (instance ?EP EmailProgram)
    (hasPurpose ?EP
        (exists (?P ?E)
            (and
                (instance ?P ComputerProcess)
                (instance ?E Emailing)
                (instrument ?E ?P)
                (programRunning ?P ?EP)))))
ComputingBrands.kif 3088-3096
(=>
    (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)
                (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 4310-4321


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