Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ProcessState(process state) |
| appearance as argument number 1 |
|
| (subclass ProcessState ContentBearingObject) | QoSontology.kif 648-648 | Process state is a subclass of content bearing object |
| (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 649-654 | Process state is a subclass of content bearing object |
| appearance as argument number 2 |
|
|
| (range InitialProfileFn ProcessState) | QoSontology.kif 1415-1415 | The range of initial profile is an instance of process state |
| (termFormat EnglishLanguage ProcessState "process state") | domainEnglishFormat.kif 47527-47527 | The range of initial profile is an instance of process state |
| (termFormat ChineseTraditionalLanguage ProcessState "過程狀態") | domainEnglishFormat.kif 47528-47528 | The range of initial profile is an instance of process state |
| (termFormat ChineseLanguage ProcessState "过程状态") | domainEnglishFormat.kif 47529-47529 | The range of initial profile is an instance of process state |
| appearance as argument number 3 |
|
|
| (domain stateOfProcess 2 ProcessState) | QoSontology.kif 668-668 | The number 2 argument of state of process is an instance of process state |
| antecedent |
|
|
| (=> (instance ?State ProcessState) (exists (?Program) (and (instance ?Program ComputerProgram) (forall (?Process) (=> (programRunning ?Process ?Program) (represents ?State ?Process)))))) |
QoSontology.kif 656-664 | If X is an instance of process state, then there exists Y such that Y is an instance of computer program and Z Y is a program running of ZX expresses Z |
|