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 673-674 | |
(subclass Feedback ContentBearingObject) | QoSontology.kif 672-672 | 子類 反饋 and ContentBearingObject |
appearance as argument number 2 |
(termFormat ChineseLanguage Feedback "反馈") | domainEnglishFormat.kif 23476-23476 | |
(termFormat ChineseTraditionalLanguage Feedback "反饋") | domainEnglishFormat.kif 23475-23475 | |
(termFormat EnglishLanguage Feedback "feedback") | domainEnglishFormat.kif 23474-23474 |
antecedent |
(=> (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 |