Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  AppraisalAsUnjustTreatment
|
|
|
| appearance as argument number 1 |
|
|
| (instance AppraisalAsUnjustTreatment AppraisalOfJusticeOfTreatment) | emotion.kif 322-322 | Appraisal as unjust treatment is an instance of appraisal of justice of treatment |
| (documentation AppraisalAsUnjustTreatment EnglishLanguage "An appraisal that represents an evaluation that the person was treated unjustly by another person. (Injustice.)") | emotion.kif 323-325 | Appraisal as unjust treatment is an instance of appraisal of justice of treatment |
| appearance as argument number 2 |
|
|
| (exhaustiveAttribute AppraisalOfJusticeOfTreatment AppraisalAsUnjustTreatment AppraisalAsJustTreatment) | emotion.kif 317-318 | Appraisal as unjust treatment are all the attributes of appraisal of justice of treatment |
| (termFormat EnglishLanguage AppraisalAsUnjustTreatment "appraisal as unjust treatment") | emotion.kif 320-321 | Appraisal as unjust treatment are all the attributes of appraisal of justice of treatment |
| (utterance EnglishLanguage AppraisalAsUnjustTreatment "I am being treated unjustly") | emotion.kif 326-327 | utterance english language, appraisal as unjust treatment and "I am being treated unjustly" |
| antecedent |
|
|
| (=> (and (attribute ?A AppraisalAsUnjustTreatment) (instance ?AUJ AppraisalProcess) (agent ?AUJ ?A)) (exists (?P ?A2) (and (instance ?P Process) (refers ?AUJ ?P) (agent ?P ?A2) (not (equal ?A ?A2)) (patient ?P ?A) (not (wants ?A ?P))))) |
emotion.kif 329-343 | If appraisal as unjust treatment is an attribute of X, Y is an instance of appraisal process, and X is an agent of Y, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of process (3) Y includes a reference to Z (4) W is an agent of Z (5) equal X (6) W (7) X is a patient of Z (8) X doesn't want Z |
|