| appearance as argument number 1 |
|
| (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 3996-4009 | |
| (instance ObsessiveCompulsiveDisorder PsychologicalDysfunction) | Medicine.kif 3994-3994 | Obsessive–compulsive disorder is an instance of psychological dysfunction |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ObsessiveCompulsiveDisorder "OCD") | Medicine.kif 4010-4010 | |
| (termFormat EnglishLanguage ObsessiveCompulsiveDisorder "obsessive–compulsive disorder") | Medicine.kif 4011-4011 |
| 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 4013-4026 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners