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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadiatingNuclear

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 AppraisalAppraisalProcessinternally 関連して %n
(subclass Appraisal StateOfMind) emotion.kif 79-79 Appraisal精神状態subclass では %n

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


(instance AppraisalAsBeingDisliked Appraisal) emotion.kif 513-513 AppraisalAsBeingDislikedAppraisalinstance では %n
(instance AppraisalAsBeingLiked Appraisal) emotion.kif 521-521 AppraisalAsBeingLikedAppraisalinstance では %n
(subclass AppraisalOfAvoidabilityOfConsequences Appraisal) emotion.kif 281-281 AppraisalOfAvoidabilityOfConsequencesAppraisalsubclass では %n
(subclass AppraisalOfCausalAgency Appraisal) emotion.kif 591-591 AppraisalOfCausalAgencyAppraisalsubclass では %n
(subclass AppraisalOfCausalIntent Appraisal) emotion.kif 670-670 AppraisalOfCausalIntentAppraisalsubclass では %n
(subclass AppraisalOfCongruenceWithIdeals Appraisal) emotion.kif 460-460 AppraisalOfCongruenceWithIdealsAppraisalsubclass では %n
(subclass AppraisalOfDangerousness Appraisal) emotion.kif 546-546 AppraisalOfDangerousnessAppraisalsubclass では %n
(subclass AppraisalOfDesirabilityOfConsequences Appraisal) emotion.kif 389-389 AppraisalOfDesirabilityOfConsequencesAppraisalsubclass では %n
(subclass AppraisalOfExpectedness Appraisal) emotion.kif 524-524 AppraisalOfExpectednessAppraisalsubclass では %n
(subclass AppraisalOfFamiliarity Appraisal) emotion.kif 313-313 AppraisalOfFamiliarityAppraisalsubclass では %n
(subclass AppraisalOfGoalImportance Appraisal) emotion.kif 209-209 AppraisalOfGoalImportanceAppraisalsubclass では %n
(subclass AppraisalOfJusticeOfTreatment Appraisal) emotion.kif 336-336 AppraisalOfJusticeOfTreatmentAppraisalsubclass では %n
(subclass AppraisalOfLoss Appraisal) emotion.kif 275-275 AppraisalOfLossAppraisalsubclass では %n
(subclass AppraisalOfPleasantness Appraisal) emotion.kif 494-494 AppraisalOfPleasantnessAppraisalsubclass では %n
(subclass AppraisalOfPredictability Appraisal) emotion.kif 239-239 AppraisalOfPredictabilityAppraisalsubclass では %n
(subclass AppraisalOfSocialAttention Appraisal) emotion.kif 637-637 AppraisalOfSocialAttentionAppraisalsubclass では %n
(subclass AppraisalOfSuddenness Appraisal) emotion.kif 573-573 AppraisalOfSuddennessAppraisalsubclass では %n
(subclass AppraisalOfUrgency Appraisal) emotion.kif 424-424 AppraisalOfUrgencyAppraisalsubclass では %n
(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