AppraisalAsUnjustTreatment
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 343-345 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 342-342 | Appraisal as unjust treatment is an instance of appraisal of justice of treatment |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 337-338 | Appraisal as unjust treatment are all the attributes of appraisal of justice of treatment |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 340-341 | |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 346-347 | utterance english language, appraisal as unjust treatment and "I am being treated unjustly" |
antecedent |
No TPTP formula. May not be expressible in strict first order. | emotion.kif 349-363 |
|