| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18284-18284 | �tat d'esprit Est une sous-classe de attribut psychologique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18290-18290 | �tat �motionnel Est une sous-classe de �tat d'esprit |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18294-18294 | Attribut de conscience est une sous-classe de �tat d'esprit |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 79-79 | Appraisal est une sous-classe de �tat d'esprit |
|
|