No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19332-19332 |
不幸 是 幸福 的相反 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1220-1220 |
HappyFacialExpression 和 幸福 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1980-1980 |
HappyVoiceUtterance 和 幸福 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1167-1167 |
Amusement 是 幸福 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 894-894 |
Contentment 是 幸福 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 975-975 |
Elation 是 幸福 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1151-1151 |
Euphoria 是 幸福 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19336-19336 |
激动 是 幸福 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 749-749 |
Joy 是 幸福 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19322-19322 |
满足 是 幸福 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1093-1093 |
Serenity 是 幸福 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19327-19327 |
宁静 是 幸福 的 subAttribute |
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 英语, 幸福 and "happy" |