![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Appraisal
|
|
|
| appearance as argument number 1 |
|
|
| (relatedInternalConcept Appraisal AppraisalProcess) | emotion.kif 54-54 | Appraisal is internally related to appraisal process |
| (subclass Appraisal StateOfMind) | emotion.kif 89-89 | Appraisal is a subclass of state of mind |
| (documentation Appraisal EnglishLanguage "An appraisal is a cognitive representation which represents an evaluation of the relevance of some triggering object or event to the organism.") | emotion.kif 90-92 | Appraisal is a subclass of state of mind |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (and (instance ?X AppraisalProcess) (agent ?X ?A)) (exists (?APP) (and (instance ?APP Appraisal) (knows ?A (attribute ?A ?APP))))) |
emotion.kif 56-64 | If X is an instance of appraisal process and Y is an agent of X, then there exists Z such that Z is an instance of appraisal and Y knows Z is an attribute of Y |