AppraisalProcess |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 49-52 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 48-48 | AppraisalProcess 是 有意图的心理过程 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 54-54 | Appraisal 和 AppraisalProcess 是 内部相关 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 53-53 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 374-387 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 349-363 |
|
No TPTP formula. May not be expressible in strict first order. | emotion.kif 56-64 |
consequent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 119-127 |