Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppraisalProcess
AppraisalProcess(appraisal process)

appearance as argument number 1
-------------------------


s__documentation(s__AppraisalProcess,s__EnglishLanguage,'"An appraisal process is a mental process that gives rise to an appraisal of ones own current emotional state. It is the conscious realization that one has unconsciously arrived at a particular mood."')

emotion.kif 49-52
s__subclass(s__AppraisalProcess,s__IntentionalPsychologicalProcess)

s__instance(s__IntentionalPsychologicalProcess,s__SetOrClass)

s__instance(s__AppraisalProcess,s__SetOrClass)

emotion.kif 48-48 Appraisal process is a subclass of intentional psychological process

appearance as argument number 2
-------------------------


s__relatedInternalConcept(s__Appraisal,s__AppraisalProcess)

emotion.kif 54-54 Appraisal is internally related to appraisal process
s__termFormat(s__EnglishLanguage,s__AppraisalProcess,'"appraisal process"')

emotion.kif 53-53

antecedent
-------------------------


( ! [V__AJT,V__A] :
   ((s__instance(V__A,s__CognitiveAgent) =>
       (((s__attribute(V__A,s__AppraisalAsJustTreatment) &
             s__instance(V__AJT,s__AppraisalProcess) &
             s__agent(V__AJT,V__A))
         =>
         (( ? [V__P, V__A2] :
             ((s__instance(V__A2,s__Agent) &
                 (s__instance(V__P,s__Process) &
                   s__refers(V__AJT,V__P)
                 &
                 s__agent(V__P,V__A2)
               &
               ~((V__A = V__A2))
               &
               s__patient(V__P,V__A)
             &
             s__wants(V__A,V__P)))))))))
)
)

emotion.kif 374-387
( ! [V__A,V__AUJ] :
   ((s__instance(V__A,s__CognitiveAgent) =>
       (((s__attribute(V__A,s__AppraisalAsUnjustTreatment) &
             s__instance(V__AUJ,s__AppraisalProcess) &
             s__agent(V__AUJ,V__A))
         =>
         (( ? [V__P, V__A2] :
             ((s__instance(V__A2,s__Agent) &
                 (s__instance(V__P,s__Process) &
                   s__refers(V__AUJ,V__P)
                 &
                 s__agent(V__P,V__A2)
               &
               ~((V__A = V__A2))
               &
               s__patient(V__P,V__A)
             &
             ~(s__wants(V__A,V__P))))))))))
)
)

emotion.kif 349-363
No TPTP formula. May not be expressible in strict first order. emotion.kif 56-64

consequent
-------------------------


( ! [V__A,V__EBP] :
   ((s__instance(V__A,s__Agent) =>
       (((s__instance(V__EBP,s__EmotionalBehavioralProcess) &
             s__agent(V__EBP,V__A))
         =>
         (( ? [V__APP] :
             ((s__instance(V__APP,s__AppraisalProcess) &
                 s__agent(V__APP,V__A)
               &
               s__causes(V__APP,V__EBP))))))))
)
)

emotion.kif 119-127


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