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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 繼續前進, 1 and ComputerProgram
(domain runningOn 2 Computer) QoSontology.kif 188-188 繼續前進, 2 and 電腦
(instance runningOn BinaryPredicate) QoSontology.kif 186-186 繼續前進 and BinaryPredicate

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


    (runningOn ?Program ?Computer)
    (exists (?Process)
            (programRunning ?Process ?Program)
            (computerRunning ?Process ?Computer))))
QoSontology.kif 192-197


    (programRunning ?Process ?Program)
    (exists (?Computer)
        (runningOn ?Program ?Computer)))
QoSontology.kif 166-169

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

Show without tree

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