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

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