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 相關的內部概念 Appraisal and AppraisalProcess
(subclass Appraisal StateOfMind) emotion.kif 79-79 子類 Appraisal and StateOfMind

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


(instance AppraisalAsBeingDisliked Appraisal) emotion.kif 513-513 AppraisalAsBeingDisliked and Appraisal
(instance AppraisalAsBeingLiked Appraisal) emotion.kif 521-521 AppraisalAsBeingLiked and Appraisal
(subclass AppraisalOfAvoidabilityOfConsequences Appraisal) emotion.kif 281-281 子類 AppraisalOfAvoidabilityOfConsequences and Appraisal
(subclass AppraisalOfCausalAgency Appraisal) emotion.kif 591-591 子類 AppraisalOfCausalAgency and Appraisal
(subclass AppraisalOfCausalIntent Appraisal) emotion.kif 670-670 子類 AppraisalOfCausalIntent and Appraisal
(subclass AppraisalOfCongruenceWithIdeals Appraisal) emotion.kif 460-460 子類 AppraisalOfCongruenceWithIdeals and Appraisal
(subclass AppraisalOfDangerousness Appraisal) emotion.kif 546-546 子類 AppraisalOfDangerousness and Appraisal
(subclass AppraisalOfDesirabilityOfConsequences Appraisal) emotion.kif 389-389 子類 AppraisalOfDesirabilityOfConsequences and Appraisal
(subclass AppraisalOfExpectedness Appraisal) emotion.kif 524-524 子類 AppraisalOfExpectedness and Appraisal
(subclass AppraisalOfFamiliarity Appraisal) emotion.kif 313-313 子類 AppraisalOfFamiliarity and Appraisal
(subclass AppraisalOfGoalImportance Appraisal) emotion.kif 209-209 子類 AppraisalOfGoalImportance and Appraisal
(subclass AppraisalOfJusticeOfTreatment Appraisal) emotion.kif 336-336 子類 AppraisalOfJusticeOfTreatment and Appraisal
(subclass AppraisalOfLoss Appraisal) emotion.kif 275-275 子類 AppraisalOfLoss and Appraisal
(subclass AppraisalOfPleasantness Appraisal) emotion.kif 494-494 子類 AppraisalOfPleasantness and Appraisal
(subclass AppraisalOfPredictability Appraisal) emotion.kif 239-239 子類 AppraisalOfPredictability and Appraisal
(subclass AppraisalOfSocialAttention Appraisal) emotion.kif 637-637 子類 AppraisalOfSocialAttention and Appraisal
(subclass AppraisalOfSuddenness Appraisal) emotion.kif 573-573 子類 AppraisalOfSuddenness and Appraisal
(subclass AppraisalOfUrgency Appraisal) emotion.kif 424-424 子類 AppraisalOfUrgency and Appraisal
(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