| appearance as argument number 1 |
|
| (documentation runsOn EnglishLanguage "(runsOn ?Program ?Computer) means that ?Program is capable of running on ?Computer with its current configuration of installed software.") | QoSontology.kif 335-336 | |
| (domain runsOn 1 ComputerProgram) | QoSontology.kif 333-333 | |
| (domain runsOn 2 Computer) | QoSontology.kif 334-334 | |
| (instance runsOn AsymmetricRelation) | QoSontology.kif 332-332 | |
| (instance runsOn BinaryPredicate) | QoSontology.kif 331-331 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage runsOn "%2 is %n a runs on of %1") | domainEnglishFormat.kif 556-556 | |
| (termFormat EnglishLanguage runsOn "runs on") | domainEnglishFormat.kif 8861-8861 |
| consequent |
|
|
| (=> (and (instance ?B BasebandForIPhone) (instance ?I AppleIPhone)) (runsOn ?B ?I)) |
ComputingBrands.kif 2063-2067 | |
| (=> (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer)) (runsOn ?Program ?Computer)) |
QoSontology.kif 338-342 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners