Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - runningOn
runningOn

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 Le nombre 1 argument de runningOn est une instance de programme d'ordinateur
(domain runningOn 2 Computer) QoSontology.kif 188-188 Le nombre 2 argument de runningOn est une instance de Computer
(instance runningOn BinaryPredicate) QoSontology.kif 186-186 runningOn est une instance de pr�dicat binaire

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 50618-50618
(termFormat ChineseTraditionalLanguage runningOn "繼續前進") domainEnglishFormat.kif 50617-50617
(termFormat EnglishLanguage runningOn "running on") domainEnglishFormat.kif 50616-50616

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 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