|
|
  Anger
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 186-186 | actionTendency 愤怒 and AngryFacialExpression |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 964-966 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19322-19322 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5852-5852 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6079-6079 | |
| 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 735-735 | 愤怒 和 Contempt 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19321-19321 | 愤怒 是 不幸 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1237-1237 | AngryFacialExpression 和 愤怒 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1942-1942 | AngryVoiceUtterance 和 愤怒 是 内部相关 |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 698-698 | Annoyance 是 愤怒 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1055-1055 | Fury 是 愤怒 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 901-901 | Rage 是 愤怒 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7470-7470 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7469-7469 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 7468-7468 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 971-971 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 967-967 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 963-963 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 969-969 | utterance 英语, 愤怒 and "angry" |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19324-19327 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1244-1253 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1945-1958 | |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1646-1654 |
|
|
|
