| 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 728-729 | |
| (domain rMProgramOf 1 ResourceManagementProgram) | QoSontology.kif 726-726 | |
| (domain rMProgramOf 2 SoftwareSystem) | QoSontology.kif 727-727 | |
| (instance rMProgramOf BinaryPredicate) | QoSontology.kif 725-725 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage rMProgramOf "%2 %n 是 %1 的 rM programof") | domainEnglishFormat.kif 2171-2171 | |
| (format ChineseTraditionalLanguage rMProgramOf "%2 %n 是 %1 的 rM programof") | domainEnglishFormat.kif 2170-2170 | |
| (format EnglishLanguage rMProgramOf "%2 is %n a rM programof of %1") | domainEnglishFormat.kif 2169-2169 | |
| (termFormat ChineseLanguage rMProgramOf "rM的程序") | domainEnglishFormat.kif 50160-50160 | |
| (termFormat ChineseTraditionalLanguage rMProgramOf "rM的程序") | domainEnglishFormat.kif 50159-50159 | |
| (termFormat EnglishLanguage rMProgramOf "rM program_of") | domainEnglishFormat.kif 50158-50158 |
| antecedent |
|
|
| (=> (rMProgramOf ?RM ?System) (exists (?Application ?Process ?RMCopy) (and (part ?Application ?System) (programCopy ?RMCopy ?RM) (programRunning ?Process ?Application) (agent ?Process ?RMCopy)))) |
QoSontology.kif 734-741 |
| 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 785-793 |
|
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