|
|
   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 e' relacionado internamente por SUMO a AppraisalProcess |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 79-79 | Appraisal e' uma sub-classe de Estado de Espirito |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 513-513 | AppraisalAsBeingDisliked e' uma instancia de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 521-521 | AppraisalAsBeingLiked e' uma instancia de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 281-281 | AppraisalOfAvoidabilityOfConsequences e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 591-591 | AppraisalOfCausalAgency e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 670-670 | AppraisalOfCausalIntent e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 460-460 | AppraisalOfCongruenceWithIdeals e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 546-546 | AppraisalOfDangerousness e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 389-389 | AppraisalOfDesirabilityOfConsequences e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 524-524 | AppraisalOfExpectedness e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 313-313 | AppraisalOfFamiliarity e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 209-209 | AppraisalOfGoalImportance e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 336-336 | AppraisalOfJusticeOfTreatment e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 275-275 | AppraisalOfLoss e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 494-494 | AppraisalOfPleasantness e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 239-239 | AppraisalOfPredictability e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 637-637 | AppraisalOfSocialAttention e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 573-573 | AppraisalOfSuddenness e' uma sub-classe de Appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 424-424 | AppraisalOfUrgency e' uma sub-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 |
|
|
|
|