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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - runsOn
runsOn

appearance as argument number 1
-------------------------


(documentation runsOn EnglishLanguage "(runsOn ?Program ?Computer) means that ?Program is capable of running on ?Computer with its current configuration of installed software.") QoSontology.kif 341-342
(domain runsOn 1 ComputerProgram) QoSontology.kif 339-339 The number 1 argument of runs on is an instance of computer program
(domain runsOn 2 Computer) QoSontology.kif 340-340 The number 2 argument of runs on is an instance of computer
(instance runsOn AsymmetricRelation) QoSontology.kif 338-338 runs on is an instance of asymmetric relation
(instance runsOn BinaryPredicate) QoSontology.kif 337-337 runs on is an instance of binary predicate

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


(format ChineseLanguage runsOn "%1 %n 能够在 %2 ComputerProcess") domainEnglishFormat.kif 2195-2195
(format ChineseTraditionalLanguage runsOn "%1 %n 能够在 %2 ComputerProcess") domainEnglishFormat.kif 2194-2194
(format EnglishLanguage runsOn "%1 can %n be ComputerProcesses on %2") domainEnglishFormat.kif 2193-2193
(termFormat ChineseLanguage runsOn "能够操作") domainEnglishFormat.kif 50629-50629
(termFormat ChineseTraditionalLanguage runsOn "能够操作") domainEnglishFormat.kif 50628-50628
(termFormat EnglishLanguage runsOn "runs on") domainEnglishFormat.kif 50627-50627

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


(=>
    (and
        (instance ?B BasebandForIPhone)
        (instance ?I AppleIPhone))
    (runsOn ?B ?I))
ComputingBrands.kif 2242-2246
(=>
    (and
        (programRunning ?Process ?Program)
        (computerRunning ?Process ?Computer))
    (runsOn ?Program ?Computer))
QoSontology.kif 344-348


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