No TPTP formula. May not be expressible in strict first order. |
emotion.kif 735-735 |
愤怒 和 Contempt 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 736-736 |
Disgust 和 Contempt 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 732-732 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 730-730 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 733-733 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 731-731 |
|
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 734-734 |
utterance 英语, Contempt and "contemptuous" |