| No TPTP formula. May not be expressible in strict first order. | emotion.kif 79-79 | Appraisal e' uma sub-classe de Estado de Espirito |
| 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 239-239 | AppraisalOfPredictability 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 281-281 | AppraisalOfAvoidabilityOfConsequences 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 336-336 | AppraisalOfJusticeOfTreatment 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 424-424 | AppraisalOfUrgency 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 494-494 | AppraisalOfPleasantness 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 546-546 | AppraisalOfDangerousness 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 591-591 | AppraisalOfCausalAgency 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 670-670 | AppraisalOfCausalIntent e' uma sub-classe de Appraisal |
|
|