|
|
   Appraisal
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 80-82 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 54-54 | Appraisal est reli� � l'int�rieur de SUMO � AppraisalProcess |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 79-79 | Appraisal est une sous-classe de �tat d'esprit |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 513-513 | AppraisalAsBeingDisliked est une instance de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 521-521 | AppraisalAsBeingLiked est une instance de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 281-281 | AppraisalOfAvoidabilityOfConsequences est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 591-591 | AppraisalOfCausalAgency est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 670-670 | AppraisalOfCausalIntent est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 460-460 | AppraisalOfCongruenceWithIdeals est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 546-546 | AppraisalOfDangerousness est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 389-389 | AppraisalOfDesirabilityOfConsequences est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 524-524 | AppraisalOfExpectedness est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 313-313 | AppraisalOfFamiliarity est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 209-209 | AppraisalOfGoalImportance est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 336-336 | AppraisalOfJusticeOfTreatment est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 275-275 | AppraisalOfLoss est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 494-494 | AppraisalOfPleasantness est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 239-239 | AppraisalOfPredictability est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 637-637 | AppraisalOfSocialAttention est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 573-573 | AppraisalOfSuddenness est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 424-424 | AppraisalOfUrgency est une sous-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 78-78 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 56-64 |
|
|
|
|