| appearance as argument number 1 |
|
| (diseaseMedicine Insomnia Benzodiazepine Ingesting) | Medicine.kif 3886-3886 | |
| (documentation Insomnia EnglishLanguage "A physiological or psychological inability to get enough time Sleeping for wellbeing.") | Mid-level-ontology.kif 17850-17851 | |
| (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 2081-2089 | |
| (instance Insomnia DiseaseOrSyndrome) | Medicine.kif 2079-2079 | |
| (sideEffect Insomnia Escitalopram) | Medicine.kif 4058-4058 | |
| (subclass Insomnia PathologicProcess) | Mid-level-ontology.kif 17849-17849 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Insomnia "insomnia") | Medicine.kif 2090-2090 |
| 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 17854-17866 | |
| (=> (holdsDuring ?T (attribute ?H Insomnia)) (exists (?I) (and (instance ?I (ImpairmentFn Sleeping)) (experiencer ?I ?H) (equal ?T (WhenFn ?I))))) |
Medicine.kif 2102-2111 | |
| (=> (holdsDuring ?T (attribute ?H Insomnia)) (holdsDuring ?T (and (desires ?H (attribute ?H Asleep)) (not (attribute ?H Asleep))))) |
Medicine.kif 2092-2100 |
|
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