|
|
   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 is internally related to appraisal process |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 79-79 | Appraisal is a subclass of state of mind |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 513-513 | Appraisal as being disliked is an instance of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 521-521 | Appraisal as being liked is an instance of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 281-281 | Appraisal of avoidability of consequences is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 591-591 | Appraisal of causal agency is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 670-670 | Appraisal of causal intent is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 460-460 | Appraisal of congruence with ideals is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 546-546 | Appraisal of dangerousness is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 389-389 | Appraisal of desirability of consequences is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 524-524 | Appraisal of expectedness is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 313-313 | Appraisal of familiarity is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 209-209 | Appraisal of goal importance is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 336-336 | Appraisal of justice of treatment is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 275-275 | Appraisal of loss is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 494-494 | Appraisal of pleasantness is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 239-239 | Appraisal of predictability is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 637-637 | Appraisal of social attention is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 573-573 | Appraisal of suddenness is a subclass of appraisal |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 424-424 | Appraisal of urgency of response is a subclass of 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 |
|
|
|
|