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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProcessState

Sigma KEE - ProcessState
ProcessState(过程状态)

appearance as argument number 1
-------------------------


(documentation ProcessState EnglishLanguage "The class of all the information required for a ComputerProgram to run on a processor. It is a vector that contains a pointer to the next program instruction to be executed as well as the values of all intermediate and defined variables, the state of the processor executing the program, and the allocated address space among other data.") QoSontology.kif 555-560
(subclass ProcessState ContentBearingObject) QoSontology.kif 554-554 过程状态有内用物体subclass

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


(range InitialProfileFn ProcessState) QoSontology.kif 1313-1313 初步资料range过程状态 的实例
(termFormat ChineseLanguage ProcessState "过程状态") domainEnglishFormat.kif 47534-47534
(termFormat ChineseTraditionalLanguage ProcessState "過程狀態") domainEnglishFormat.kif 47533-47533
(termFormat EnglishLanguage ProcessState "process state") domainEnglishFormat.kif 47532-47532

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


(domain stateOfProcess 2 ProcessState) QoSontology.kif 574-574 进程状态 的 2 数量 是 过程状态instance

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


(=>
    (instance ?State ProcessState)
    (exists (?Program)
        (and
            (instance ?Program ComputerProgram)
            (forall (?Process)
                (=>
                    (programRunning ?Process ?Program)
                    (represents ?State ?Process))))))
QoSontology.kif 562-570


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