Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| rMProgramOf |
| appearance as argument number 1 |
|
| (instance rMProgramOf BinaryPredicate) | QoSontology.kif 711-711 | rM program_of is an instance of binary predicate |
| (domain rMProgramOf 1 ResourceManagementProgram) | QoSontology.kif 712-712 | The number 1 argument of rM program_of is an instance of resource management program |
| (domain rMProgramOf 2 SoftwareSystem) | QoSontology.kif 713-713 | The number 2 argument of rM program_of is an instance of software system |
| (documentation rMProgramOf EnglishLanguage "(rMProgramOf ?RM ?SYSTEM) means that ?RM is the resource management program of the SoftwareSystem ?SYSTEM.") | QoSontology.kif 714-715 | The number 2 argument of rM program_of is an instance of software system |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage rMProgramOf "%2 is %n a rM programof of %1") | domainEnglishFormat.kif 2169-2169 | |
| (format ChineseTraditionalLanguage rMProgramOf "%2 %n 是 %1 的 rM programof") | domainEnglishFormat.kif 2170-2170 | |
| (format ChineseLanguage rMProgramOf "%2 %n 是 %1 的 rM programof") | domainEnglishFormat.kif 2171-2171 | |
| (termFormat EnglishLanguage rMProgramOf "rM program_of") | domainEnglishFormat.kif 50151-50151 | |
| (termFormat ChineseTraditionalLanguage rMProgramOf "rM的程序") | domainEnglishFormat.kif 50152-50152 | |
| (termFormat ChineseLanguage rMProgramOf "rM的程序") | domainEnglishFormat.kif 50153-50153 |
| antecedent |
|
|
| (=> (rMProgramOf ?RM ?System) (exists (?Application ?Process ?RMCopy) (and (part ?Application ?System) (programCopy ?RMCopy ?RM) (programRunning ?Process ?Application) (agent ?Process ?RMCopy)))) |
QoSontology.kif 720-727 | If X is a rM programof of Y, then there exist Z, W, V such that Z is a part of X, V is a copy of Y, Z is a program running of W, and V is an agent of W |
| 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 771-779 | If X is an instance of feedback, then there exist Y, Z,, , W, V such that W is a rM programof of Y, W is a program running of Z, V is an instance of data transfer, X is a patient of V, and V ends up at Y |
|