No TPTP formula. May not be expressible in strict first order. |
emotion.kif 968-968 |
愤怒 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1177-1177 |
焦虑 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1158-1158 |
Boredom 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1010-1010 |
Compassion 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 919-919 |
Concern 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1089-1089 |
Confusion 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 725-725 |
Contempt 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1059-1059 |
Curiosity 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 938-938 |
Despair 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 948-948 |
Disappointment 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 829-829 |
Disgust 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 979-979 |
Embarrassment 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1182-1182 |
EmotionalStress 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 916-916 |
Expectant 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1018-1018 |
Fear 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1916-1916 |
FeelingDubious 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 988-988 |
Grief 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1079-1079 |
Guilt 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 816-816 |
幸福 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1040-1040 |
Hate 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1192-1192 |
Hope 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 995-995 |
InspirationEmotion 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 723-723 |
Interested 是 情绪状态 的 instance |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 928-928 |
Irritation 是 情绪状态 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |