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

appearance as argument number 2
-------------------------


(format ChineseLanguage runningOn "%1 是 runningOn 在 %2 ") domainEnglishFormat.kif 4467-4467
(format ChineseTraditionalLanguage runningOn "%1 是 runningOn 在 %2 ") domainEnglishFormat.kif 4466-4466
(format EnglishLanguage runningOn "%1 is running on %2") domainEnglishFormat.kif 4465-4465
(termFormat ChineseLanguage runningOn "继续前进") domainEnglishFormat.kif 50516-50516
(termFormat ChineseTraditionalLanguage runningOn "繼續前進") domainEnglishFormat.kif 50515-50515
(termFormat EnglishLanguage runningOn "running on") domainEnglishFormat.kif 50514-50514

antecedent
-------------------------


(=>
    (runningOn ?Program ?Computer)
    (exists (?Process)
        (and
            (programRunning ?Process ?Program)
            (computerRunning ?Process ?Computer))))
QoSontology.kif 190-195

consequent
-------------------------


(=>
    (programRunning ?Process ?Program)
    (exists (?Computer)
        (runningOn ?Program ?Computer)))
QoSontology.kif 164-167


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners