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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ADHD

Sigma KEE - ADHD
ADHD

appearance as argument number 1
-------------------------


(diseaseMedicine ADHD Adderall Ingesting) Medicine.kif 4765-4765 ADHD 是 对于 消化dis​​ease 治愈 Adderall
(documentation ADHD EnglishLanguage "Attention deficit hyperactivity disorder (ADHD) is a mental, behavioral, and neurodevelopmental disorder characterized by inattention, bouts of excessive energy, hyper-fixation, and impulsivity, which are pervasive, impairing, and otherwise age inappropriate. Some individuals with ADHD also display difficulty regulating emotions or problems with executive function. For a diagnosis, the symptoms have to be present for more than six months, and cause problems in at least two settings (such as school, home, work, or recreational activities). In children, problems paying attention may result in poor school performance. Additionally, it is associated with other mental disorders and substance use disorders. Although it causes impairment, particularly in modern society, many people with ADHD have sustained attention for tasks they find interesting or rewarding, known as hyperfocus.[from Wikipedia]") Medicine.kif 3294-3307
(subclass ADHD PsychologicalDysfunction) Medicine.kif 3293-3293 ADHD心理功能障碍subclass

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


(medicine Vyvanse ADHD) Medicine.kif 3310-3310 medicine Vyvanse and ADHD
(termFormat EnglishLanguage ADHD "ADHD") Medicine.kif 3308-3308
(termFormat EnglishLanguage ADHD "attention deficit hyperactivity disorder") Medicine.kif 3309-3309

antecedent
-------------------------


(=>
    (and
        (attribute ?H1 ADHD)
        (not
            (attribute ?H2 ADHD))
        (not
            (equal ?H1 ?H2))
        (instance ?I1 ?IC)
        (instance ?I2 ?IC)
        (subclass ?IC IntentionalPsychologicalProcess)
        (agent ?I1 ?H1)
        (agent ?I2 ?H2)
        (duration
            (WhenFn ?I1) ?D1)
        (duration
            (WhenFn ?I2) ?D2))
    (modalAttribute
        (greaterThan ?D2 ?D1) Likely))
Medicine.kif 3984-4004


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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