TreeView Knowledge Base Browser

appearance as argument number 1

(documentation runningOn EnglishLanguage "(runningOn ?Program ?Computer) holds if the ComputerProgram ?Program is being executed on ?Computer.")	QoSontology.kif 189-190
(domain runningOn 1 ComputerProgram)	QoSontology.kif 187-187
(domain runningOn 2 Computer)	QoSontology.kif 188-188
(instance runningOn BinaryPredicate)	QoSontology.kif 186-186

appearance as argument number 2

(format ChineseLanguage runningOn "%1 是 runningOn 在 %2 ")	domainEnglishFormat.kif 4462-4462
(format ChineseTraditionalLanguage runningOn "%1 是 runningOn 在 %2 ")	domainEnglishFormat.kif 4461-4461
(format EnglishLanguage runningOn "%1 is running on %2")	domainEnglishFormat.kif 4460-4460
(termFormat ChineseLanguage runningOn "继续前进")	domainEnglishFormat.kif 50620-50620
(termFormat ChineseTraditionalLanguage runningOn "繼續前進")	domainEnglishFormat.kif 50619-50619
(termFormat EnglishLanguage runningOn "running on")	domainEnglishFormat.kif 50618-50618

antecedent

(=>
    (runningOn ?Program ?Computer)
    (exists (?Process)
        (and
            (programRunning ?Process ?Program)
            (computerRunning ?Process ?Computer))))

QoSontology.kif 192-197

consequent

(=>
    (programRunning ?Process ?Program)
    (exists (?Computer)
        (runningOn ?Program ?Computer)))

QoSontology.kif 166-169

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

KB Term:			Term intersection

English Word: