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

Formal Language: 



KB Term:  Term intersection
English Word: 

  runningOn

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 runningOn の数値 1 引数は コンピュータープログラムinstance では %n
(domain runningOn 2 Computer) QoSontology.kif 188-188 runningOn の数値 2 引数は Computerinstance では %n
(instance runningOn BinaryPredicate) QoSontology.kif 186-186 runningOn2進述語instance では %n

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

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