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 The number 1 argument of running on is an instance of computer program
(domain runningOn 2 Computer) QoSontology.kif 188-188 The number 2 argument of running on is an instance of computer
(instance runningOn BinaryPredicate) QoSontology.kif 186-186 running on is an instance of binary predicate

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