Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ADHD(attention deficit hyperactivity disorder) |
| appearance as argument number 1 |
|
| (subclass ADHD PsychologicalDysfunction) | Medicine.kif 3324-3324 | Attention deficit hyperactivity disorder is a subclass of psychological dysfunction |
| (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 3325-3338 | Attention deficit hyperactivity disorder is a subclass of psychological dysfunction |
| (diseaseMedicine ADHD Lisdexamfetamine Ingesting) | Medicine.kif 4013-4013 | Attention deficit hyperactivity disorder is disease treatment lisdexamfetamine for ingesting |
| (diseaseMedicine ADHD Adderall Ingesting) | Medicine.kif 4786-4786 | Attention deficit hyperactivity disorder is disease treatment Mydayis for ingesting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ADHD "ADHD") | Medicine.kif 3339-3339 | |
| (termFormat EnglishLanguage ADHD "attention deficit hyperactivity disorder") | Medicine.kif 3340-3340 | |
| (medicine Vyvanse ADHD) | Medicine.kif 3341-3341 | Lisdexamfetamine is medicine for attention deficit hyperactivity disorder |
| 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 4018-4038 | If All of the following hold: (1) attention deficit hyperactivity disorder is an attribute of X (2) attention deficit hyperactivity disorder is not an attribute of Y (3) equal X and Y (4) Z is an instance of W (5) V is an instance of W (6) W is a subclass of intentional psychological process (7) X is an agent of Z (8) Y is an agent of V (9) duration of the time of existence of Z is U (10) duration of the time of existence of V is T, then the statement T is greater than U has the modal force of likely |
|