| Unhappiness | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 178-178 | actionTendency Unhappiness and Frowning |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19304-19304 | Unhappiness est l'oppos� de bonheur |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19305-19306 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19303-19303 | Unhappiness est une instance de �tat �motionnel |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19320-19320 | Colère est un sous-attribut de Unhappiness |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19312-19312 | Anxiété est un sous-attribut de Unhappiness |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59942-59942 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59941-59941 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59940-59940 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23788-23799 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13031-13035 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13052-13056 |
|
|
|
|