No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19305-19305 |
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 19309-19309 |
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 19295-19295 |
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 19300-19300 |
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" |