| 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 794-796 | |
| (instance processList Predicate) | QoSontology.kif 792-792 | process list is an instance of predicate |
| (instance processList VariableArityRelation) | QoSontology.kif 793-793 | process list is an instance of variable arity relation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage processList "%1 processes 的 list ") | domainEnglishFormat.kif 4226-4226 | |
| (format ChineseTraditionalLanguage processList "%1 processes 的 list ") | domainEnglishFormat.kif 4225-4225 | |
| (format EnglishLanguage processList "the list of processes %1") | domainEnglishFormat.kif 4224-4224 | |
| (termFormat ChineseLanguage processList "进程列表") | domainEnglishFormat.kif 47553-47553 | |
| (termFormat ChineseTraditionalLanguage processList "進程列表") | domainEnglishFormat.kif 47552-47552 | |
| (termFormat EnglishLanguage processList "process list") | domainEnglishFormat.kif 47551-47551 |
| 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 800-816 |
|
|
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