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 电脑程序内部变化subclass

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


(subclass Abort ComputerProcess) QoSontology.kif 2013-2013 退出电脑程序subclass
(subclass ComputerBackingUp ComputerProcess) ComputingBrands.kif 3487-3487 ComputerBackingUp电脑程序subclass
(subclass ComputerResponse ComputerProcess) QoSontology.kif 1872-1872 电脑回应电脑程序subclass
(subclass ComputerTask ComputerProcess) QoSontology.kif 1925-1925 电脑任务电脑程序subclass
(subclass DHCPServer ComputerProcess) ComputingBrands.kif 4032-4032 DHCPServer电脑程序subclass
(subclass DataCompression ComputerProcess) QoSontology.kif 2053-2053 数据压缩电脑程序subclass
(subclass DataSaving ComputerProcess) QoSontology.kif 2034-2034 数据保存电脑程序subclass
(subclass DataTransfer ComputerProcess) QoSontology.kif 91-91 数据传输电脑程序subclass
(subclass DeletingData ComputerProcess) QoSontology.kif 109-109 DeletingData电脑程序subclass
(subclass Jailbreaking ComputerProcess) ComputingBrands.kif 3415-3415 粉碎电脑程序subclass
(subclass MeasuringPerformance ComputerProcess) QoSontology.kif 992-992 测量性能电脑程序subclass
(subclass MountingADevice ComputerProcess) ComputingBrands.kif 3787-3787 MountingADevice电脑程序subclass
(subclass Multitasking ComputerProcess) QoSontology.kif 1910-1910 多任务处理电脑程序subclass
(subclass RestoringData ComputerProcess) QoSontology.kif 132-132 RestoringData电脑程序subclass
(subclass ReusingAResource ComputerProcess) QoSontology.kif 2104-2104 重用资源电脑程序subclass
(subclass UserRequest ComputerProcess) QoSontology.kif 1861-1861 用户请求电脑程序subclass
(subclass UserSignifiedAction ComputerProcess) ComputerInput.kif 1199-1199 UserSignifiedAction电脑程序subclass
(subclass UsingAResource ComputerProcess) QoSontology.kif 2088-2088 使用A资源电脑程序subclass
(subclass WindowScrolling ComputerProcess) ComputerInput.kif 1770-1770 WindowScrolling电脑程序subclass
(termFormat ChineseLanguage ComputerProcess "电脑程序") domainEnglishFormat.kif 16365-16365 WindowScrolling电脑程序subclass
(termFormat ChineseTraditionalLanguage ComputerProcess "電腦程序") domainEnglishFormat.kif 16364-16364 WindowScrolling电脑程序subclass
(termFormat EnglishLanguage ComputerProcess "computer process") domainEnglishFormat.kif 16363-16363 WindowScrolling电脑程序subclass

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


(domain accountUsed 1 ComputerProcess) ComputingBrands.kif 4156-4156 accountUsed 的 1 数量 是 电脑程序instance
(domain computerRunning 1 ComputerProcess) QoSontology.kif 203-203 电脑运行 的 1 数量 是 电脑程序instance
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 2008-2008 数据已处理 的 1 数量 是 电脑程序instance
(domain processAborted 2 ComputerProcess) QoSontology.kif 2020-2020 过程中止 的 2 数量 是 电脑程序instance
(domain processID 1 ComputerProcess) QoSontology.kif 885-885 过程ID 的 1 数量 是 电脑程序instance
(domain programRunning 1 ComputerProcess) QoSontology.kif 209-209 程序运行 的 1 数量 是 电脑程序instance
(domain resourceUsed 1 ComputerProcess) QoSontology.kif 2125-2125 使用的资源 的 1 数量 是 电脑程序instance
(domain standardErrorDevice 1 ComputerProcess) QoSontology.kif 642-642 标准错误设备 的 1 数量 是 电脑程序instance
(domain standardInputDevice 1 ComputerProcess) QoSontology.kif 611-611 标准输入设备 的 1 数量 是 电脑程序instance
(domain standardOutputDevice 1 ComputerProcess) QoSontology.kif 625-625 标准输出设备 的 1 数量 是 电脑程序instance
(domain stateOfProcess 1 ComputerProcess) QoSontology.kif 681-681 进程状态 的 1 数量 是 电脑程序instance
(domain status 1 ComputerProcess) QoSontology.kif 907-907 状态 的 1 数量 是 电脑程序instance
(domain task 1 ComputerProcess) QoSontology.kif 2083-2083 任务 的 1 数量 是 电脑程序instance

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