Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| processList |
| appearance as argument number 1 |
|
| (instance processList Predicate) | QoSontology.kif 781-781 | process list is an instance of predicate |
| (instance processList VariableArityRelation) | QoSontology.kif 782-782 | process list is an instance of variable arity relation |
| (domain processList 1 Entity) | QoSontology.kif 783-783 | The number 1 argument of process list is an instance of entity |
| (documentation processList EnglishLanguage "The arguments of this relation are data structures, each of which contains the information necessary for the process already loaded by the operating system to execute on a processor.") | QoSontology.kif 784-786 | The number 1 argument of process list is an instance of entity |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage processList "the list of processes %1") | domainEnglishFormat.kif 4224-4224 | |
| (format ChineseTraditionalLanguage processList "%1 processes 的 list ") | domainEnglishFormat.kif 4225-4225 | |
| (format ChineseLanguage processList "%1 processes 的 list ") | domainEnglishFormat.kif 4226-4226 | |
| (termFormat EnglishLanguage processList "process list") | domainEnglishFormat.kif 47515-47515 | |
| (termFormat ChineseTraditionalLanguage processList "進程列表") | domainEnglishFormat.kif 47516-47516 | |
| (termFormat ChineseLanguage processList "进程列表") | domainEnglishFormat.kif 47517-47517 |
| antecedent |
|
|
| (=> (and (processList @ROW) (inList ?Process1 (ListFn @ROW)) (inList ?Process2 (ListFn @ROW)) (equal (ListOrderFn (ListFn @ROW) ?Number1) ?Process1) (equal (ListOrderFn (ListFn @ROW) ?Number2) ?Process2) (lessThan ?Number1 ?Number2)) (earlier (WhenFn ?Process1) (WhenFn ?Process2))) |
QoSontology.kif 790-806 | If All of the following hold: (1) the list of processes @ROW (2) Y is a member of (@ROW) (3) Z is a member of (@ROW) (4) equal W element of (@ROW) and Y (5) equal V element of (@ROW) and Z (6) U is less than T, then the time of existence of Y happens earlier than the time of existence of Z |
|