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

Formal Language: 


KB Term:  Term intersection
English Word: 

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 663-668
(subclass ProcessState ContentBearingObject) QoSontology.kif 662-662 ProcessState est une sous-classe de objet exprimant un sens

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


(range InitialProfileFn ProcessState) QoSontology.kif 1422-1422 Le domaine de InitialProfileFn est une instance de ProcessState
(termFormat ChineseLanguage ProcessState "过程状态") domainEnglishFormat.kif 47536-47536 Le domaine de InitialProfileFn est une instance de ProcessState
(termFormat ChineseTraditionalLanguage ProcessState "過程狀態") domainEnglishFormat.kif 47535-47535 Le domaine de InitialProfileFn est une instance de ProcessState
(termFormat EnglishLanguage ProcessState "process state") domainEnglishFormat.kif 47534-47534 Le domaine de InitialProfileFn est une instance de ProcessState

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


(domain stateOfProcess 2 ProcessState) QoSontology.kif 682-682 Le nombre 2 argument de stateOfProcess est une instance de ProcessState

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


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


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