Feedback - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Feedback,s__EnglishLanguage,'"The class of all messages to a resource management program from one of its processes."')

QoSontology.kif 671-672

QoSontology.kif 670-670

appearance as argument number 2

s__termFormat(s__ChineseLanguage,s__Feedback,'"反馈"')	domainEnglishFormat.kif 23401-23401
s__termFormat(s__ChineseTraditionalLanguage,s__Feedback,'"反饋"')	domainEnglishFormat.kif 23400-23400
s__termFormat(s__EnglishLanguage,s__Feedback,'"feedback"')	domainEnglishFormat.kif 23399-23399

antecedent

( ∀ [V__Feedback,V__Send]
   (s__instance(V__Send,s__Process) ⇒
     (s__instance(V__Feedback,s__Feedback) ⇒
       ( ∃ [V__RM, V__Process, V__Program]
         ((s__instance(V__RM,s__ResourceManagementProgram) ∧
             s__instance(V__Process,s__ComputerProcess) ∧
             s__instance(V__Program,s__SoftwareSystem) ∧
             (s__rMProgram-of(V__RM,V__Program)
               ∧
               s__programRunning(V__Process,V__Program)
             ∧
             s__instance(V__Send,s__DataTransfer) ∧
             s__patient(V__Send,V__Feedback)
           ∧
           s__destination(V__Send,V__RM))))))
∧
(( ∃ [V__RM, V__Process, V__Program]
   ((s__instance(V__RM,s__ResourceManagementProgram) ∧
       s__instance(V__Process,s__ComputerProcess) ∧
       s__instance(V__Program,s__SoftwareSystem) ∧
       (s__rMProgram-of(V__RM,V__Program)
         ∧
         s__programRunning(V__Process,V__Program)
       ∧
       s__instance(V__Send,s__DataTransfer) ∧
       s__patient(V__Send,V__Feedback)
     ∧
     s__destination(V__Send,V__RM)))))
⇒
s__instance(V__Feedback,s__Feedback))
)
)

QoSontology.kif 674-682