Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| canRunOn |
| appearance as argument number 1 |
|
| (instance canRunOn BinaryPredicate) | QoSontology.kif 342-342 | can run on is an instance of binary predicate |
| (instance canRunOn AsymmetricRelation) | QoSontology.kif 343-343 | can run on is an instance of asymmetric relation |
| (domainSubclass canRunOn 1 ComputerProgram) | QoSontology.kif 344-344 | The number 1 argument of can run on is a subclass of computer program |
| (domainSubclass canRunOn 2 Computer) | QoSontology.kif 345-345 | The number 2 argument of can run on is a subclass of computer |
| (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 346-348 | The number 2 argument of can run on is a subclass of computer |
| appearance as argument number 2 |
|
|
| (subrelation deviceOS canRunOn) | ComputingBrands.kif 729-729 | device OS is a subrelation of can run on |
| (format EnglishLanguage canRunOn "%2 is %n capable of ComputerProcessing %1") | domainEnglishFormat.kif 2197-2197 | device OS is a subrelation of can run on |
| (format ChineseTraditionalLanguage canRunOn "%2 %n 應該可以 ComputerProcess %1") | domainEnglishFormat.kif 2198-2198 | device OS is a subrelation of can run on |
| (format ChineseLanguage canRunOn "%2 %n 应该可以 ComputerProcess %1") | domainEnglishFormat.kif 2199-2199 | device OS is a subrelation of can run on |
| (termFormat EnglishLanguage canRunOn "can run on") | domainEnglishFormat.kif 13004-13004 | device OS is a subrelation of can run on |
| (termFormat ChineseTraditionalLanguage canRunOn "可以操作") | domainEnglishFormat.kif 13005-13005 | device OS is a subrelation of can run on |
| (termFormat ChineseLanguage canRunOn "可以操作") | domainEnglishFormat.kif 13006-13006 | device OS is a subrelation of can run on |
| consequent |
|
|
| (=> (and (programRunning ?Process ?Program) (instance ?Program ?PC) (instance ?Computer ?CC) (computerRunning ?Process ?Computer)) (canRunOn ?PC ?CC)) |
QoSontology.kif 350-356 | If X is a program running of Y, X is an instance of Z, W is an instance of V, and Y is running on W, then V is capable of ComputerProcessing Z |
| appearance as argument number 0 |
|
|
|