No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19332-19332 |
相反的屬性 不幸 and 幸福 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1220-1220 |
相關的內部概念 HappyFacialExpression and 幸福 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1980-1980 |
相關的內部概念 HappyVoiceUtterance and 幸福 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1167-1167 |
子屬性 Amusement and 幸福 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 894-894 |
子屬性 Contentment and 幸福 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 975-975 |
子屬性 Elation and 幸福 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1151-1151 |
子屬性 Euphoria and 幸福 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19336-19336 |
子屬性 激動 and 幸福 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 749-749 |
子屬性 Joy and 幸福 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19322-19322 |
子屬性 滿足 and 幸福 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1093-1093 |
子屬性 Serenity and 幸福 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19327-19327 |
子屬性 寧靜 and 幸福 |
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" |