TreeView Knowledge Base Browser

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

如果 @ROW processes 的 list 和物理是 (@ROW) 的 member 和另一个物理是 (@ROW) 的 member 和 (@ROW) 的第正整数几个元素 equal 那个物理和 (@ROW) 的第另一个正整数几个元素 equal 那个另外物理和那个正整数是 lessThan 那个另外正整数，
然后那个物理出现的 time 比那个另外物理出现的 time发生的earlier

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: