Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ObsessiveCompulsiveDisorder
ObsessiveCompulsiveDisorder

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 4008-4021
(instance ObsessiveCompulsiveDisorder PsychologicalDysfunction) Medicine.kif 4006-4006

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage ObsessiveCompulsiveDisorder "OCD") Medicine.kif 4022-4022
(termFormat EnglishLanguage ObsessiveCompulsiveDisorder "obsessive–compulsive disorder") Medicine.kif 4023-4023

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 4025-4038


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