processList |
appearance as argument number 1 |
(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 688-690 | |
(instance processList Predicate) | QoSontology.kif 686-686 | 进程列表 是 谓语 的 instance |
(instance processList VariableArityRelation) | QoSontology.kif 687-687 | 进程列表 是 不定次元关系 的 instance |
appearance as argument number 2 |
(format ChineseLanguage processList "%1 processes 的 list ") | domainEnglishFormat.kif 4222-4222 | |
(format ChineseTraditionalLanguage processList "%1 processes 的 list ") | domainEnglishFormat.kif 4221-4221 | |
(format EnglishLanguage processList "the list of processes %1") | domainEnglishFormat.kif 4220-4220 | |
(termFormat ChineseLanguage processList "进程列表") | domainEnglishFormat.kif 47524-47524 | |
(termFormat ChineseTraditionalLanguage processList "進程列表") | domainEnglishFormat.kif 47523-47523 | |
(termFormat EnglishLanguage processList "process list") | domainEnglishFormat.kif 47522-47522 |
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 694-710 |