|
|
   Lupus
|
|
|
| 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 | 例 憤怒 and EmotionalState |
| 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. | Mid-level-ontology.kif 19321-19321 | 子屬性 憤怒 and 不幸 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1237-1237 | 相關的內部概念 AngryFacialExpression and 憤怒 |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1942-1942 | 相關的內部概念 AngryVoiceUtterance and 憤怒 |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 698-698 | 子屬性 Annoyance and 憤怒 |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1055-1055 | 子屬性 Fury and 憤怒 |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 901-901 | 子屬性 Rage and 憤怒 |
| 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 |
|
|
|
|
