|
|
  Disgust
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 182-182 | action tendency disgust and disgusted facial expression |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 832-836 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 829-829 | Disgust is an instance of emotional state |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 736-736 | Disgust is internally related to contempt |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1255-1255 | Disgusted facial expression is internally related to disgust |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1996-1996 | Disgusted voice utterance is internally related to disgust |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 880-880 | Animal-nature disgust is a subattribute of disgust |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 839-839 | Core disgust is a subattribute of disgust |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 849-849 | Interpersonal disgust is a subattribute of disgust |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 888-888 | Moral disgust is a subattribute of disgust |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 831-831 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 828-828 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 837-837 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 830-830 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 827-827 | utterance english language, disgust and "disgusted" |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1262-1271 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 2000-2008 |
|
|
|
|