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

Formal Language: 



KB Term:  Term intersection
English Word: 

  runsOn

 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 340-341
(domain runsOn 1 ComputerProgram) QoSontology.kif 338-338 runsOn の数値 1 引数は コンピュータープログラム の instance では %n
(domain runsOn 2 Computer) QoSontology.kif 339-339 runsOn の数値 2 引数は Computer の instance では %n
(instance runsOn AsymmetricRelation) QoSontology.kif 337-337 runsOn は 非対称関係 の instance では %n
(instance runsOn BinaryPredicate) QoSontology.kif 336-336 runsOn は 2進述語 の instance では %n

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


(format ChineseLanguage runsOn "%1 %n 能够在 %2 ComputerProcess") domainEnglishFormat.kif 2191-2191
(format ChineseTraditionalLanguage runsOn "%1 %n 能够在 %2 ComputerProcess") domainEnglishFormat.kif 2190-2190
(format EnglishLanguage runsOn "%1 can %n be ComputerProcesses on %2") domainEnglishFormat.kif 2189-2189
(termFormat ChineseLanguage runsOn "能够操作") domainEnglishFormat.kif 50660-50660
(termFormat ChineseTraditionalLanguage runsOn "能够操作") domainEnglishFormat.kif 50659-50659
(termFormat EnglishLanguage runsOn "runs on") domainEnglishFormat.kif 50658-50658

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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