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 335-336
(domain runsOn 1 ComputerProgram) QoSontology.kif 333-333
(domain runsOn 2 Computer) QoSontology.kif 334-334
(instance runsOn AsymmetricRelation) QoSontology.kif 332-332
(instance runsOn BinaryPredicate) QoSontology.kif 331-331

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


(format EnglishLanguage runsOn "%2 is %n a runs on of %1") domainEnglishFormat.kif 556-556
(termFormat EnglishLanguage runsOn "runs on") domainEnglishFormat.kif 8861-8861

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


(=>
    (and
        (instance ?B BasebandForIPhone)
        (instance ?I AppleIPhone))
    (runsOn ?B ?I))
ComputingBrands.kif 2063-2067
(=>
    (and
        (programRunning ?Process ?Program)
        (computerRunning ?Process ?Computer))
    (runsOn ?Program ?Computer))
QoSontology.kif 338-342


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