|
|
   Feedback
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Feedback EnglishLanguage "The class of all messages to a resource management program from one of its processes.") | QoSontology.kif 671-672 | |
| (subclass Feedback ContentBearingObject) | QoSontology.kif 670-670 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Feedback "反馈") | domainEnglishFormat.kif 23469-23469 | |
| (termFormat ChineseTraditionalLanguage Feedback "反饋") | domainEnglishFormat.kif 23468-23468 | |
| (termFormat EnglishLanguage Feedback "feedback") | domainEnglishFormat.kif 23467-23467 |
| antecedent |
|
|
| (<=> (instance ?Feedback Feedback) (exists (?RM ?Process ?Program) (and (rMProgramOf ?RM ?Program) (programRunning ?Process ?Program) (instance ?Send DataTransfer) (patient ?Send ?Feedback) (destination ?Send ?RM)))) |
QoSontology.kif 674-682 |
|
|
|