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

Formal Language: 



KB Term:  Term intersection
English Word: 

  canRunOn

 Sigma KEE - canRunOn
canRunOn

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


(documentation canRunOn EnglishLanguage "A weaker relation than runOn that says merely that a properly configured computer should be able to run the given software.") QoSontology.kif 353-355
(domainSubclass canRunOn 1 ComputerProgram) QoSontology.kif 351-351 canRunOn の数値 1 引数は コンピュータープログラム のsubclass では %n
(domainSubclass canRunOn 2 Computer) QoSontology.kif 352-352 canRunOn の数値 2 引数は Computer のsubclass では %n
(instance canRunOn AsymmetricRelation) QoSontology.kif 350-350 canRunOn は 非対称関係 の instance では %n
(instance canRunOn BinaryPredicate) QoSontology.kif 349-349 canRunOn は 2進述語 の instance では %n

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


(format ChineseLanguage canRunOn "%2 %n 应该可以 ComputerProcess %1") domainEnglishFormat.kif 2195-2195
(format ChineseTraditionalLanguage canRunOn "%2 %n 應該可以 ComputerProcess %1") domainEnglishFormat.kif 2194-2194
(format EnglishLanguage canRunOn "%2 is %n capable of ComputerProcessing %1") domainEnglishFormat.kif 2193-2193
(subrelation deviceOS canRunOn) ComputingBrands.kif 729-729 deviceOS は canRunOn の subrelation では %n
(termFormat ChineseLanguage canRunOn "可以操作") domainEnglishFormat.kif 12998-12998
(termFormat ChineseTraditionalLanguage canRunOn "可以操作") domainEnglishFormat.kif 12997-12997
(termFormat EnglishLanguage canRunOn "can run on") domainEnglishFormat.kif 12996-12996

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


(=>
    (and
        (programRunning ?Process ?Program)
        (instance ?Program ?PC)
        (instance ?Computer ?CC)
        (computerRunning ?Process ?Computer))
    (canRunOn ?PC ?CC))		 QoSontology.kif 357-363

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