Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  ObsessiveCompulsiveDisorder
|
|
|
| appearance as argument number 1 |
|
|
| (instance ObsessiveCompulsiveDisorder PsychologicalDysfunction) | Medicine.kif 4040-4040 | Obsessive–compulsive disorder is an instance of psychological dysfunction |
| (documentation ObsessiveCompulsiveDisorder EnglishLanguage "Obsessive–compulsive disorder (OCD) is a mental and behavioral disorder in which a person has certain thoughts repeatedly (called 'obsessions') and/ or feels the need to perform certain routines repeatedly (called 'compulsions') to an extent that generates distress or impairs general functioning. The person is unable to control either the thoughts or activities for more than a short period of time. Common compulsions include excessive hand washing, the counting of things, and checking to see if a door is locked. These activities occur to such a degree that the person's daily life is negatively affected, often taking up more than an hour a day. Most adults realize that the behaviors do not make sense. The condition is associated with tics, anxiety disorder, and an increased risk of suicide. [from Wikipedia]") | Medicine.kif 4042-4055 | Obsessive–compulsive disorder is an instance of psychological dysfunction |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ObsessiveCompulsiveDisorder "OCD") | Medicine.kif 4056-4056 | |
| (termFormat EnglishLanguage ObsessiveCompulsiveDisorder "obsessive–compulsive disorder") | Medicine.kif 4057-4057 |
| antecedent |
|
|
| (=> (attribute ?H ObsessiveCompulsiveDisorder) (exists (?COL ?C) (and (memberType ?COL ?C) (or (subclass ?C Investigating) (subclass ?C Cleaning)) (=> (instance ?CI ?C) (and (agent ?CI ?H) (not (wants ?H ?CI))))))) |
Medicine.kif 4059-4072 | If obsessive–compulsive disorder is an attribute of X, then there exist Y, Z such that Z is a member type of Y, Z is a subclass of investigating or Z is a subclass of cleaning, W is an instance of ZX is an agent of W, and X doesn't want W |
|