| 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 | The number 1 argument of canRunOn is a subclass of computer program |
| (domainSubclass canRunOn 2 Computer) | QoSontology.kif 350-350 | The number 2 argument of canRunOn is a subclass of computer |
| (instance canRunOn AsymmetricRelation) | QoSontology.kif 348-348 | canRunOn is an instance of asymmetric relation |
| (instance canRunOn BinaryPredicate) | QoSontology.kif 347-347 | canRunOn is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (subrelation deviceOS canRunOn) | ComputingBrands.kif 704-704 | deviceOS is a subrelation of canRunOn |
| 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 4174-4174 | canRunOn Find My and IOS 13 |
| (canRunOn AppleIOS AppleIPhone) | ComputingBrands.kif 90-90 | canRunOn IOS and iPhone |
| (canRunOn AppleMacOSX AppleIMac) | ComputingBrands.kif 730-730 | canRunOn AppleMacOSX and iMac |
| (canRunOn AppleMacOSX AppleMacBook) | ComputingBrands.kif 789-789 | canRunOn AppleMacOSX and Macbook |
| (canRunOn AppleMacOSX AppleMacBookAir) | ComputingBrands.kif 774-774 | canRunOn AppleMacOSX and Macbook Air |
| (canRunOn AppleMacOSX AppleMacBookPro) | ComputingBrands.kif 759-759 | canRunOn AppleMacOSX and Macbook Pro |
| (canRunOn AppleMacOSX AppleMacPro) | ComputingBrands.kif 744-744 | canRunOn AppleMacOSX and Mac Pro |
|
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