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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Appraisal

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 è interamente correlato a AppraisalProcess
(subclass Appraisal StateOfMind) emotion.kif 79-79 Appraisal è una sottoclasse di StatoMentale

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


(instance AppraisalAsBeingDisliked Appraisal) emotion.kif 513-513 AppraisalAsBeingDisliked è un' istanza di Appraisal
(instance AppraisalAsBeingLiked Appraisal) emotion.kif 521-521 AppraisalAsBeingLiked è un' istanza di Appraisal
(subclass AppraisalOfAvoidabilityOfConsequences Appraisal) emotion.kif 281-281 AppraisalOfAvoidabilityOfConsequences è una sottoclasse di Appraisal
(subclass AppraisalOfCausalAgency Appraisal) emotion.kif 591-591 AppraisalOfCausalAgency è una sottoclasse di Appraisal
(subclass AppraisalOfCausalIntent Appraisal) emotion.kif 670-670 AppraisalOfCausalIntent è una sottoclasse di Appraisal
(subclass AppraisalOfCongruenceWithIdeals Appraisal) emotion.kif 460-460 AppraisalOfCongruenceWithIdeals è una sottoclasse di Appraisal
(subclass AppraisalOfDangerousness Appraisal) emotion.kif 546-546 AppraisalOfDangerousness è una sottoclasse di Appraisal
(subclass AppraisalOfDesirabilityOfConsequences Appraisal) emotion.kif 389-389 AppraisalOfDesirabilityOfConsequences è una sottoclasse di Appraisal
(subclass AppraisalOfExpectedness Appraisal) emotion.kif 524-524 AppraisalOfExpectedness è una sottoclasse di Appraisal
(subclass AppraisalOfFamiliarity Appraisal) emotion.kif 313-313 AppraisalOfFamiliarity è una sottoclasse di Appraisal
(subclass AppraisalOfGoalImportance Appraisal) emotion.kif 209-209 AppraisalOfGoalImportance è una sottoclasse di Appraisal
(subclass AppraisalOfJusticeOfTreatment Appraisal) emotion.kif 336-336 AppraisalOfJusticeOfTreatment è una sottoclasse di Appraisal
(subclass AppraisalOfLoss Appraisal) emotion.kif 275-275 AppraisalOfLoss è una sottoclasse di Appraisal
(subclass AppraisalOfPleasantness Appraisal) emotion.kif 494-494 AppraisalOfPleasantness è una sottoclasse di Appraisal
(subclass AppraisalOfPredictability Appraisal) emotion.kif 239-239 AppraisalOfPredictability è una sottoclasse di Appraisal
(subclass AppraisalOfSocialAttention Appraisal) emotion.kif 637-637 AppraisalOfSocialAttention è una sottoclasse di Appraisal
(subclass AppraisalOfSuddenness Appraisal) emotion.kif 573-573 AppraisalOfSuddenness è una sottoclasse di Appraisal
(subclass AppraisalOfUrgency Appraisal) emotion.kif 424-424 AppraisalOfUrgency è una sottoclasse di 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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