| No TPTP formula. May not be expressible in strict first order. | emotion.kif 79-79 | Appraisal is a subclass of state of mind |
| 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 239-239 | Appraisal of predictability 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 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 313-313 | Appraisal of familiarity 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 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 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 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 494-494 | Appraisal of pleasantness 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 546-546 | Appraisal of dangerousness 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 591-591 | Appraisal of causal agency 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 670-670 | Appraisal of causal intent is a subclass of appraisal |
|
|