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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Appraisal
Appraisal

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


(documentation Appraisal EnglishLanguage "An appraisal is a cognitive representation which represents an evaluation of the relevance of some triggering object or event to the organism.") emotion.kif 80-82
(relatedInternalConcept Appraisal AppraisalProcess) emotion.kif 54-54
(subclass Appraisal StateOfMind) emotion.kif 79-79

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


(instance AppraisalAsBeingDisliked Appraisal) emotion.kif 513-513
(instance AppraisalAsBeingLiked Appraisal) emotion.kif 521-521
(subclass AppraisalOfAvoidabilityOfConsequences Appraisal) emotion.kif 281-281
(subclass AppraisalOfCausalAgency Appraisal) emotion.kif 591-591
(subclass AppraisalOfCausalIntent Appraisal) emotion.kif 670-670
(subclass AppraisalOfCongruenceWithIdeals Appraisal) emotion.kif 460-460
(subclass AppraisalOfDangerousness Appraisal) emotion.kif 546-546
(subclass AppraisalOfDesirabilityOfConsequences Appraisal) emotion.kif 389-389
(subclass AppraisalOfExpectedness Appraisal) emotion.kif 524-524
(subclass AppraisalOfFamiliarity Appraisal) emotion.kif 313-313
(subclass AppraisalOfGoalImportance Appraisal) emotion.kif 209-209
(subclass AppraisalOfJusticeOfTreatment Appraisal) emotion.kif 336-336
(subclass AppraisalOfLoss Appraisal) emotion.kif 275-275
(subclass AppraisalOfPleasantness Appraisal) emotion.kif 494-494
(subclass AppraisalOfPredictability Appraisal) emotion.kif 239-239
(subclass AppraisalOfSocialAttention Appraisal) emotion.kif 637-637
(subclass AppraisalOfSuddenness Appraisal) emotion.kif 573-573
(subclass AppraisalOfUrgency Appraisal) emotion.kif 424-424
(termFormat EnglishLanguage Appraisal "appraisal") emotion.kif 78-78

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


(=>
    (and
        (instance ?X AppraisalProcess)
        (agent ?X ?A))
    (exists (?APP)
        (and
            (instance ?APP Appraisal)
            (knows ?A
                (attribute ?A ?APP)))))
emotion.kif 56-64


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