Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (diseaseMedicine Depression Escitalopram Ingesting) | Medicine.kif 4085-4085 | Depressed is disease treatment escitalopram for ingesting |
| (subclass Depression PsychologicalDysfunction) | emotion.kif 1255-1255 | Depressed is a subclass of psychological dysfunction |
| (documentation Depression EnglishLanguage "Depression is a state of low mood and aversion to activity. Classified medically as a mental and behavioral disorder, the experience of depression affects a person's thoughts, behavior, motivation, feelings, and sense of well-being. The core symptom of depression is said to be anhedonia, which refers to loss of interest or a loss of feeling of pleasure in certain activities that usually bring joy to people. Depressed mood is a symptom of some mood disorders such as major depressive disorder or dysthymia; it is a normal temporary reaction to life events, such as the loss of a loved one; and it is also a symptom of some physical diseases and a side effect of some drugs and medical treatments. It may feature sadness, difficulty in thinking and concentration and a significant increase or decrease in appetite and time spent sleeping. People experiencing depression may have feelings of dejection, hopelessness and suicidal thoughts. It can either be short term or long term.[from Wikipedia]") | emotion.kif 1256-1271 | Depressed is a subclass of psychological dysfunction |
| appearance as argument number 2 |
|
|
| (medicine Antidepressant Depression) | Medicine.kif 3241-3241 | Anti-depressant is medicine for depressed |
| (termFormat EnglishLanguage Depression "depression") | emotion.kif 1272-1272 | Anti-depressant is medicine for depressed |
| (termFormat EnglishLanguage Depression "depressed") | emotion.kif 1273-1273 | Anti-depressant is medicine for depressed |
| antecedent |
|
|
| (=> (holdsDuring ?T (attribute ?H Depression)) (modalAttribute (holdsDuring ?T (not (attribute ?H Happiness))) Likely)) |
emotion.kif 1275-1282 | If depressed is an attribute of X holds during Y, then the statement happiness is not an attribute of X holds during Y has the modal force of likely |
| consequent |
|
|
| (=> (instance ?AP Antidepressant) (hasPurpose ?AP (exists (?I ?H) (and (instance ?I Ingesting) (objectTransferred ?I ?AP) (agent ?AP ?H) (holdsDuring (FutureFn (WhenFn ?I)) (not (attribute ?H Depression))))))) |
Medicine.kif 3245-3257 | If X is an instance of anti-depressant, then X has the purpose there exist Y, Z such that Y is an instance of ingesting, the object transferred in Y is X, Z is an agent of X, and depressed is not an attribute of Z holds during after the time of existence of Y |
|