| 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 | The number 1 argument of can run on is a subclass of computer program |
| (domainSubclass canRunOn 2 Computer) | QoSontology.kif 352-352 | The number 2 argument of can run on is a subclass of computer |
| (instance canRunOn AsymmetricRelation) | QoSontology.kif 350-350 | can run on is an instance of asymmetric relation |
| (instance canRunOn BinaryPredicate) | QoSontology.kif 349-349 | can run on is an instance of binary predicate |
| 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 | device OS is a subrelation of can run on |
| (termFormat ChineseLanguage canRunOn "可以操作") | domainEnglishFormat.kif 13014-13014 | device OS is a subrelation of can run on |
| (termFormat ChineseTraditionalLanguage canRunOn "可以操作") | domainEnglishFormat.kif 13013-13013 | device OS is a subrelation of can run on |
| (termFormat EnglishLanguage canRunOn "can run on") | domainEnglishFormat.kif 13012-13012 | 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 357-363 |
|
| appearance as argument number 0 |
|
|
| (canRunOn AppleFindMy AppleIPhoneOS13) | ComputingBrands.kif 4254-4254 | IOS 13 is capable of ComputerProcessing Find My |
| (canRunOn AppleIOS AppleIPhone) | ComputingBrands.kif 91-91 | IPhone is capable of ComputerProcessing IOS |
| (canRunOn AppleMacOSX AppleIMac) | ComputingBrands.kif 755-755 | IMac is capable of ComputerProcessing Apple mac oSX |
| (canRunOn AppleMacOSX AppleMacBook) | ComputingBrands.kif 814-814 | Macbook is capable of ComputerProcessing Apple mac oSX |
| (canRunOn AppleMacOSX AppleMacBookAir) | ComputingBrands.kif 799-799 | Macbook Air is capable of ComputerProcessing Apple mac oSX |
| (canRunOn AppleMacOSX AppleMacBookPro) | ComputingBrands.kif 784-784 | Macbook Pro is capable of ComputerProcessing Apple mac oSX |
| (canRunOn AppleMacOSX AppleMacPro) | ComputingBrands.kif 769-769 | Mac Pro is capable of ComputerProcessing Apple mac oSX |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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