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 | 可以操作 的 1 数量 是 电脑程序 的 subclass |
(domainSubclass canRunOn 2 Computer) | QoSontology.kif 352-352 | 可以操作 的 2 数量 是 电脑 的 subclass |
(instance canRunOn AsymmetricRelation) | QoSontology.kif 350-350 | 可以操作 是 非对称关系 的 instance |
(instance canRunOn BinaryPredicate) | QoSontology.kif 349-349 | 可以操作 是 二元谓语 的 instance |
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 是 可以操作 的 subrelation |
(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 |
|
appearance as argument number 0 |
(canRunOn AppleFindMy AppleIPhoneOS13) | ComputingBrands.kif 4254-4254 | IOS 13 应该可以 ComputerProcess AppleFindMy |
(canRunOn AppleIOS AppleIPhone) | ComputingBrands.kif 91-91 | IPhone 应该可以 ComputerProcess 苹果作业系统 |
(canRunOn AppleMacOSX AppleIMac) | ComputingBrands.kif 755-755 | IMac 应该可以 ComputerProcess AppleMacOSX |
(canRunOn AppleMacOSX AppleMacBook) | ComputingBrands.kif 814-814 | Macbook 应该可以 ComputerProcess AppleMacOSX |
(canRunOn AppleMacOSX AppleMacBookAir) | ComputingBrands.kif 799-799 | Macbook Air 应该可以 ComputerProcess AppleMacOSX |
(canRunOn AppleMacOSX AppleMacBookPro) | ComputingBrands.kif 784-784 | Macbook Pro 应该可以 ComputerProcess AppleMacOSX |
(canRunOn AppleMacOSX AppleMacPro) | ComputingBrands.kif 769-769 | Mac Pro 应该可以 ComputerProcess AppleMacOSX |