Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EmotionalState(emotional state) |  | Anglomania, CER, abandon, abashed, abashment, abience, ablaze, abreaction, adience, admiration, adoration, afeard, afeared, affect, affected, affectional, affective, aflame, afraid, aggravated, aghast, agitated, agitation, agog, agonal, agony, alarmed, alienate, amativeness, ambivalence, ambivalency, amorousness, amort, amused, angered, angrily, anguished, annoyed, anticipation, antipathy, anxious, anxiously, appalled, appreciative, appreciativeness, apprehensive, apprehensively, approbation, approval, ardent... |
| appearance as argument number 1 |
|
|
| (subclass EmotionalState StateOfMind) | Merge.kif 18631-18631 | Emotional state is a subclass of state of mind |
| (documentation EmotionalState EnglishLanguage "The Class of Attributes that denote emotional states of CognitiveAgent.") | Merge.kif 18632-18633 | Emotional state is a subclass of state of mind |
| (relatedInternalConcept EmotionalState AppraisalAsUndesirableConsequences) | emotion.kif 393-393 | Emotional state is internally related to appraisal as undesirable consequences |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain emotionTendency 2 EmotionalState) | emotion.kif 121-121 | The number 2 argument of emotion tendency is an instance of emotional state |
| (domain actionTendency 1 EmotionalState) | emotion.kif 136-136 | The number 1 argument of action tendency is an instance of emotional state |
| (domain attitudeForObject 1 EmotionalState) | emotion.kif 2971-2971 | The number 1 argument of attitude for object is an instance of emotional state |
| (domain attitudeForFormula 1 EmotionalState) | emotion.kif 2978-2978 | The number 1 argument of attitude for formula is an instance of emotional state |
| antecedent |
|
|
| (=> (and (instance ?I Ingesting) (experiencer ?I ?H) (objectTransferred ?I ?MS) (instance ?MS MoodStabilizer) (instance ?E ?EC) (involvedInEvent ?E ?H) (holdsDuring (WhenFn ?E) (attribute ?H ?ES)) (instance ?ES EmotionalState) (instance ?E2 ?EC) (involvedInEvent ?E2 ?H) (earlier (WhenFn ?E2) (WhenFn ?I))) (modalAttribute (not (holdsDuring ?E2 (attribute ?H ?ES))) Unlikely)) |
Mid-level-ontology.kif 11219-11240 | If All of the following hold: (1) X is an instance of ingesting (2) Y experiences X (3) the object transferred in X is Z (4) Z is an instance of mood stabilizer (5) W is an instance of V (6) Y is an involved in event of W (7) U is an attribute of Y holds during the time of existence of W (8) U is an instance of emotional state (9) T is an instance of V (10) Y is an involved in event of T (11) the time of existence of T happens earlier than the time of existence of X, then the statement U is not an attribute of Y doesn't hold during T has the modal force of unlikely |
| consequent |
|
|
|