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 338-339
(domain runsOn 1 ComputerProgram) QoSontology.kif 336-336 The number 1 argument of runs on is an instance of computer program
(domain runsOn 2 Computer) QoSontology.kif 337-337 The number 2 argument of runs on is an instance of computer
(instance runsOn AsymmetricRelation) QoSontology.kif 335-335 runs on is an instance of asymmetric relation
(instance runsOn BinaryPredicate) QoSontology.kif 334-334 runs on is an instance of binary predicate

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


(format ChineseLanguage runsOn "%2 %n 是 %1 的 runs 继续运行") domainEnglishFormat.kif 2191-2191
(format ChineseTraditionalLanguage runsOn "%2 %n 是 %1 的 runs 繼續運行") domainEnglishFormat.kif 2190-2190
(format EnglishLanguage runsOn "%2 is %n a runs on of %1") domainEnglishFormat.kif 2189-2189
(termFormat ChineseLanguage runsOn "继续前进") domainEnglishFormat.kif 50522-50522
(termFormat ChineseTraditionalLanguage runsOn "繼續前進") domainEnglishFormat.kif 50521-50521
(termFormat EnglishLanguage runsOn "runs on") domainEnglishFormat.kif 50520-50520

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


(=>
    (and
        (instance ?B BasebandForIPhone)
        (instance ?I AppleIPhone))
    (runsOn ?B ?I))
ComputingBrands.kif 2222-2226
(=>
    (and
        (programRunning ?Process ?Program)
        (computerRunning ?Process ?Computer))
    (runsOn ?Program ?Computer))
QoSontology.kif 341-345


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