Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - AppraisalProcess
AppraisalProcess(appraisal process)

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


(subclass AppraisalProcess IntentionalPsychologicalProcess) emotion.kif 48-48 Appraisal process is a subclass of intentional psychological process
(documentation AppraisalProcess EnglishLanguage "An appraisal process is a mental process that gives rise to an appraisal of one's own current emotional state. It is the conscious realization that one has unconsciously arrived at a particular mood.") emotion.kif 49-52 Appraisal process is a subclass of intentional psychological process

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


(termFormat EnglishLanguage AppraisalProcess "appraisal process") emotion.kif 53-53
(relatedInternalConcept Appraisal AppraisalProcess) emotion.kif 54-54 Appraisal is internally related to appraisal process

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


(=>
    (and
        (instance ?X AppraisalProcess)
        (agent ?X ?A))
    (exists (?APP)
        (and
            (instance ?APP Appraisal)
            (knows ?A
                (attribute ?A ?APP)))))		 emotion.kif 56-64 If X is an instance of appraisal process and Y is an agent of X, then there exists Z such that Z is an instance of appraisal and Y knows Z is an attribute of Y
(=>
    (and
        (attribute ?A AppraisalAsUnjustTreatment)
        (instance ?AUJ AppraisalProcess)
        (agent ?AUJ ?A))
    (exists (?P ?A2)
        (and
            (instance ?P Process)
            (refers ?AUJ ?P)
            (agent ?P ?A2)
            (not
                (equal ?A ?A2))
            (patient ?P ?A)
            (not
                (wants ?A ?P)))))		 emotion.kif 329-343 If appraisal as unjust treatment is an attribute of X, Y is an instance of appraisal process, and X is an agent of Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of process (3) Y includes a reference to Z (4) W is an agent of Z (5) equal X (6) W (7) X is a patient of Z (8) X doesn't want Z
(=>
    (and
        (attribute ?A AppraisalAsJustTreatment)
        (instance ?AJT AppraisalProcess)
        (agent ?AJT ?A))
    (exists (?P ?A2)
        (and
            (instance ?P Process)
            (refers ?AJT ?P)
            (agent ?P ?A2)
            (not
                (equal ?A ?A2))
            (patient ?P ?A)
            (wants ?A ?P))))		 emotion.kif 354-367 If appraisal as just treatment is an attribute of X, Y is an instance of appraisal process, and X is an agent of Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of process (3) Y includes a reference to Z (4) W is an agent of Z (5) equal X (6) W (7) X is a patient of Z (8) X wants Z

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


(=>
    (and
        (instance ?EBP EmotionalBehavioralProcess)
        (agent ?EBP ?A))
    (exists (?APP)
        (and
            (instance ?APP AppraisalProcess)
            (agent ?APP ?A)
            (causes ?APP ?EBP))))		 emotion.kif 66-74 If X is an instance of emotional behavioral process and Y is an agent of X, then there exists Z such that Z is an instance of appraisal process, Y is an agent of Z, and Z causes X


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners