No TPTP formula. May not be expressible in strict first order. |
emotion.kif 735-735 |
Anger is internally related to contempt |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 736-736 |
Disgust is internally related to 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 english language, contempt and "contemptuous" |