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 348-350
(domainSubclass canRunOn 1 ComputerProgram) QoSontology.kif 346-346
(domainSubclass canRunOn 2 Computer) QoSontology.kif 347-347
(instance canRunOn AsymmetricRelation) QoSontology.kif 345-345
(instance canRunOn BinaryPredicate) QoSontology.kif 344-344

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


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

appearance as argument number 0
-------------------------


(canRunOn AppleIOS AppleIPhone) ComputingBrands.kif 89-89
(canRunOn AppleMacOSX AppleIMac) ComputingBrands.kif 646-646
(canRunOn AppleMacOSX AppleMacBook) ComputingBrands.kif 705-705
(canRunOn AppleMacOSX AppleMacBookAir) ComputingBrands.kif 690-690
(canRunOn AppleMacOSX AppleMacBookPro) ComputingBrands.kif 675-675
(canRunOn AppleMacOSX AppleMacPro) ComputingBrands.kif 660-660


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners