| appearance as argument number 1 |
|
| (documentation RM-StartApplication EnglishLanguage "A program started by a Resource Management program, which determines if and where to start the application.") | QoSontology.kif 593-595 | |
| (subclass RM-StartApplication ComputerProgram) | QoSontology.kif 592-592 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage RM-StartApplication "RM-申请开始") | domainEnglishFormat.kif 50133-50133 | |
| (termFormat ChineseTraditionalLanguage RM-StartApplication "RM- 申請開始") | domainEnglishFormat.kif 50132-50132 | |
| (termFormat EnglishLanguage RM-StartApplication "RM- start application") | domainEnglishFormat.kif 50131-50131 |
| antecedent |
|
|
| (=> (instance ?RM RM-StartApplication) (exists (?Application ?Process ?RMCopy) (and (instance ?Application ComputerProgram) (programCopy ?RMCopy ?RM) (programRunning ?Process (StartupFn ?Application)) (agent ?Process ?RMCopy)))) |
QoSontology.kif 597-604 |
|
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