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 351-353 | |
(domainSubclass canRunOn 1 ComputerProgram) | QoSontology.kif 349-349 | |
(domainSubclass canRunOn 2 Computer) | QoSontology.kif 350-350 | |
(instance canRunOn AsymmetricRelation) | QoSontology.kif 348-348 | |
(instance canRunOn BinaryPredicate) | QoSontology.kif 347-347 |
appearance as argument number 2 |
![]() |
(subrelation deviceOS canRunOn) | ComputingBrands.kif 706-706 |
consequent |
![]() |
(=> (and (programRunning ?Process ?Program) (instance ?Program ?PC) (instance ?Computer ?CC) (computerRunning ?Process ?Computer)) (canRunOn ?PC ?CC)) |
QoSontology.kif 355-361 |
appearance as argument number 0 |
![]() |
(canRunOn AppleFindMy AppleIPhoneOS13) | ComputingBrands.kif 4138-4138 | |
(canRunOn AppleIOS AppleIPhone) | ComputingBrands.kif 90-90 | |
(canRunOn AppleMacOSX AppleIMac) | ComputingBrands.kif 732-732 | |
(canRunOn AppleMacOSX AppleMacBook) | ComputingBrands.kif 791-791 | |
(canRunOn AppleMacOSX AppleMacBookAir) | ComputingBrands.kif 776-776 | |
(canRunOn AppleMacOSX AppleMacBookPro) | ComputingBrands.kif 761-761 | |
(canRunOn AppleMacOSX AppleMacPro) | ComputingBrands.kif 746-746 |
![]() |
![]() |