TreeView Knowledge Base Browser

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

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

KB Term:			Term intersection

English Word: