No TPTP formula. May not be expressible in strict first order. |
emotion.kif 735-735 |
相關的內部概念 憤怒 and Contempt |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 736-736 |
相關的內部概念 Disgust and 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" |