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	processList est une instance de predicat
(instance processList VariableArityRelation)	QoSontology.kif 687-687	processList est une instance de relation a arit� variable

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

processList @ROW physique est un membre de (@ROW) physique est un membre de (@ROW) entit� physique entit� physique nombre entier positif est moins que nombre entier positif
temps d'existence de physique arrive plus t�t que temps d'existence de physique

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

KB Term:			Term intersection

English Word: