|
|
  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 19332-19332 | Unhappiness est l'oppos� de bonheur |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19333-19334 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19331-19331 | 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 19348-19348 | Colère est un sous-attribut de Unhappiness |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19340-19340 | Anxiété est un sous-attribut de Unhappiness |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59944-59944 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59943-59943 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 59942-59942 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23846-23857 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13059-13063 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13080-13084 |
|
|
|
|