Insomnia - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Insomnia

Insomnia(insomnia)

appearance as argument number 1

(diseaseMedicine Insomnia Benzodiazepine Ingesting)	Medicine.kif 3883-3883	Insomnia is disease treatment benzodiazepine for ingesting
(documentation Insomnia EnglishLanguage "A physiological or psychological inability to get enough time Sleeping for wellbeing.")	Mid-level-ontology.kif 16661-16662	Insomnia is disease treatment benzodiazepine for ingesting
(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	Insomnia is disease treatment benzodiazepine for ingesting
(instance Insomnia DiseaseOrSyndrome)	Medicine.kif 2082-2082	Insomnia is an instance of disease or syndrome
(sideEffect Insomnia Escitalopram)	Medicine.kif 4055-4055	Escitalopram is a side effect of taking insomnia
(subclass Insomnia PathologicProcess)	Mid-level-ontology.kif 16660-16660	Insomnia is a subclass of pathologic process

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 16665-16677	If a process is an instance of insomnia and a cognitive agent experiences the process, then there exist another process, a time duration and the time duration2 such that the other process is an instance of sleeping and the cognitive agent experiences the other process and duration of the time of existence of the other process is the time duration and the cognitive agent desires duration of the time of existence of the other process is the time duration2 and the time duration2 is greater than the time duration
(=> (holdsDuring ?T (attribute ?H Insomnia)) (exists (?I) (and (instance ?I (ImpairmentFn Sleeping)) (experiencer ?I ?H) (equal ?T (WhenFn ?I)))))	Medicine.kif 2105-2114	If insomnia is an attribute of an agent holds during a time interval, then there exists a process such that the process is an instance of impairment in sleeping and the agent experiences the process and the time interval is equal to the time of existence of the process
(=> (holdsDuring ?T (attribute ?H Insomnia)) (holdsDuring ?T (and (desires ?H (attribute ?H Asleep)) (not (attribute ?H Asleep)))))	Medicine.kif 2095-2103	If insomnia is an attribute of an entity holds during a time position, then the entity desires asleep is an attribute of the entity and asleep is not an attribute of the entity holds during the time position

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