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 | ProcessState è una sottoclasse di OggettoSemiotico |
appearance as argument number 2 |
(range InitialProfileFn ProcessState) | QoSontology.kif 1313-1313 | rango di InitialProfileFn è un'istanza di ProcessState |
(termFormat ChineseLanguage ProcessState "过程状态") | domainEnglishFormat.kif 47536-47536 | |
(termFormat ChineseTraditionalLanguage ProcessState "過程狀態") | domainEnglishFormat.kif 47535-47535 | |
(termFormat EnglishLanguage ProcessState "process state") | domainEnglishFormat.kif 47534-47534 |
appearance as argument number 3 |
(domain stateOfProcess 2 ProcessState) | QoSontology.kif 574-574 | Il numero 2 argomenti di stateOfProcess è un istanza di ProcessState |
antecedent |
(=> (instance ?State ProcessState) (exists (?Program) (and (instance ?Program ComputerProgram) (forall (?Process) (=> (programRunning ?Process ?Program) (represents ?State ?Process)))))) |
QoSontology.kif 562-570 |