Insomnia
|
|
appearance as argument number 1 |
(diseaseMedicine Insomnia Benzodiazepine Ingesting) | Medicine.kif 3883-3883 | diseaseMedicine Insomnia, Benzodiazepine and Ingesting |
(documentation Insomnia EnglishLanguage "A physiological or psychological inability to get enough time Sleeping for wellbeing.") | Mid-level-ontology.kif 16470-16471 | |
(documentation Insomnia EnglishLanguage "Insomnia, also known as sleeplessness, is a sleep disorder in which people have trouble sleeping. They may have difficulty falling asleep, or staying asleep as long as desired. Insomnia is typically followed by daytime sleepiness, low energy, irritability, and a depressed mood. It may result in an increased risk of motor vehicle collisions, as well as problems focusing and learning. Insomnia can be short term, lasting for days or weeks, or long term, lasting more than a month.[from Wikipedia]") | Medicine.kif 2084-2092 | |
(instance Insomnia DiseaseOrSyndrome) | Medicine.kif 2082-2082 | Insomnia ist ein fall von DiseaseOrSyndrome %n{nicht} |
(sideEffect Insomnia Escitalopram) | Medicine.kif 4055-4055 | sideEffect Insomnia and Escitalopram |
(subclass Insomnia PathologicProcess) | Mid-level-ontology.kif 16469-16469 | Insomnia ist eine teilkategorie von PathologicProcess |
appearance as argument number 2 |
(termFormat EnglishLanguage Insomnia "insomnia") | Medicine.kif 2093-2093 |
antecedent |
(=> (and (instance ?I Insomnia) (experiencer ?I ?H)) (exists (?S ?D ?D2) (and (instance ?S Sleeping) (experiencer ?S ?H) (duration (WhenFn ?S) ?D) (desires ?H (and (duration (WhenFn ?S) ?D2) (greaterThan ?D2 ?D)))))) |
Mid-level-ontology.kif 16474-16486 |
|
(=> (holdsDuring ?T (attribute ?H Insomnia)) (exists (?I) (and (instance ?I (ImpairmentFn Sleeping)) (experiencer ?I ?H) (equal ?T (WhenFn ?I))))) |
Medicine.kif 2105-2114 |
|
(=> (holdsDuring ?T (attribute ?H Insomnia)) (holdsDuring ?T (and (desires ?H (attribute ?H Asleep)) (not (attribute ?H Asleep))))) |
Medicine.kif 2095-2103 |