No TPTP formula. May not be expressible in strict first order. | emotion.kif 79-79 | Appraisal est une sous-classe de �tat d'esprit |
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 239-239 | AppraisalOfPredictability 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 281-281 | AppraisalOfAvoidabilityOfConsequences 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 336-336 | AppraisalOfJusticeOfTreatment 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 424-424 | AppraisalOfUrgency 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 494-494 | AppraisalOfPleasantness 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 546-546 | AppraisalOfDangerousness 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 591-591 | AppraisalOfCausalAgency 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 670-670 | AppraisalOfCausalIntent est une sous-classe de Appraisal |