Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  AppraisalAsJustTreatment
|
|
|
| appearance as argument number 1 |
|
|
| (instance AppraisalAsJustTreatment AppraisalOfJusticeOfTreatment) | emotion.kif 345-345 | Appraisal as just treatment is an instance of appraisal of justice of treatment |
| (documentation AppraisalAsJustTreatment EnglishLanguage "An appraisal which represents an evaluation that the person was treated justly by another person.") | emotion.kif 350-352 | Appraisal as just treatment is an instance of appraisal of justice of treatment |
| appearance as argument number 2 |
|
|
| (utterance EnglishLanguage AppraisalAsJustTreatment "I am being treated justly") | emotion.kif 346-347 | utterance english language, appraisal as just treatment and "I am being treated justly" |
| (termFormat EnglishLanguage AppraisalAsJustTreatment "appraisal as just treatment") | emotion.kif 348-349 | utterance english language, appraisal as just treatment and "I am being treated justly" |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| (=> (and (attribute ?A AppraisalAsJustTreatment) (instance ?AJT AppraisalProcess) (agent ?AJT ?A)) (exists (?P ?A2) (and (instance ?P Process) (refers ?AJT ?P) (agent ?P ?A2) (not (equal ?A ?A2)) (patient ?P ?A) (wants ?A ?P)))) |
emotion.kif 354-367 | If appraisal as just 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 wants Z |
|