Happiness(happiness)![]() | ![]() | afterglow, alleviation, amiability, amusement, assuagement, awe, beatification, beatitude, belonging, blessedness, blithely, blitheness, bonheur, buoyancy, cheerful, cheerfully, cheerfulness, cheery, comfort, delectation, delight, delighted, ecstasy, elated, enjoyment, enlightenment, entrancement, exaltation, excitement, exhilaration, felicity, gaiety, gay, gayly, glad, gladfulness, gladness, gladsomeness, glee, gleeful, gleefulness, good_humor, good_humour, good_temper, gusto, happily, happiness, happy, hilarity, intoxication... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 184-184 | action tendency happiness and happy facial expression |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 176-176 | action tendency happiness and laughing |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 177-177 | action tendency happiness and smiling |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 817-818 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19284-19286 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2476-2476 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 816-816 | Happiness is an instance of emotional state |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19304-19304 | Unhappiness is the opposite of happiness |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1220-1220 | Happy facial expression is internally related to happiness |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1980-1980 | Happy voice utterance is internally related to happiness |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1167-1167 | Amusement is a subattribute of happiness |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 894-894 | Contentment is a subattribute of happiness |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 975-975 | Elation is a subattribute of happiness |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1151-1151 | Euphoria is a subattribute of happiness |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19308-19308 | Excitement is a subattribute of happiness |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 749-749 | Joy is a subattribute of happiness |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19294-19294 | Satisfaction is a subattribute of happiness |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1093-1093 | Serenity is a subattribute of happiness |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19299-19299 | Tranquility is a subattribute of happiness |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27390-27390 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27389-27389 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 27388-27388 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 811-811 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 814-814 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 815-815 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 813-813 | utterance english language, happiness and "happy" |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19288-19292 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1226-1235 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23767-23778 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1983-1991 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1626-1634 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 1614-1622 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13021-13025 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6394-6401 |
|
![]() |
![]() |