| appearance as argument number 1 |
|
| (documentation rMProgramOf EnglishLanguage "(rMProgramOf ?RM ?SYSTEM) means that ?RM is the resource management program of the SoftwareSystem ?SYSTEM.") | QoSontology.kif 619-620 | |
| (domain rMProgramOf 1 ResourceManagementProgram) | QoSontology.kif 617-617 | Le nombre 1 argument de rMProgramOf est une instance de ResourceManagementProgram |
| (domain rMProgramOf 2 SoftwareSystem) | QoSontology.kif 618-618 | Le nombre 2 argument de rMProgramOf est une instance de SoftwareSystem |
| (instance rMProgramOf BinaryPredicate) | QoSontology.kif 616-616 | rMProgramOf est une instance de pr�dicat binaire |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage rMProgramOf "%2 %n 是 %1 的 rM program-of") | domainEnglishFormat.kif 2167-2167 | |
| (format ChineseTraditionalLanguage rMProgramOf "%2 %n 是 %1 的 rM program-of") | domainEnglishFormat.kif 2166-2166 | |
| (format EnglishLanguage rMProgramOf "%2 is %n a rM program-of of %1") | domainEnglishFormat.kif 2165-2165 | |
| (termFormat ChineseLanguage rMProgramOf "rM的程序") | domainEnglishFormat.kif 50168-50168 | |
| (termFormat ChineseTraditionalLanguage rMProgramOf "rM的程序") | domainEnglishFormat.kif 50167-50167 | |
| (termFormat EnglishLanguage rMProgramOf "rM program-of") | domainEnglishFormat.kif 50166-50166 |
| antecedent |
|
|
| (=> (rMProgramOf ?RM ?System) (exists (?Application ?Process ?RMCopy) (and (part ?Application ?System) (programCopy ?RMCopy ?RM) (programRunning ?Process ?Application) (agent ?Process ?RMCopy)))) |
QoSontology.kif 625-632 |
|
| consequent |
|
|
| (=> (instance ?Feedback Feedback) (exists (?RM ?Process ?Program ?Send) (and (rMProgramOf ?RM ?Program) (programRunning ?Process ?Program) (instance ?Send DataTransfer) (patient ?Send ?Feedback) (destination ?Send ?RM)))) |
QoSontology.kif 676-684 |
|
|
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