Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Insomnia

 Sigma KEE - Insomnia
Insomnia(insomnia)

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


(instance Insomnia DiseaseOrSyndrome) Medicine.kif 2069-2069 Insomnia is an instance of disease or syndrome
(subclass Insomnia PathologicProcess) Medicine.kif 2070-2070 Insomnia is a subclass of pathologic process
(documentation Insomnia EnglishLanguage "A physiological or psychological inability to get enough time Sleeping for wellbeing.") Medicine.kif 2071-2072 Insomnia is a subclass of pathologic process
(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 2073-2081 Insomnia is a subclass of pathologic process
(diseaseMedicine Insomnia Benzodiazepine Ingesting) Medicine.kif 3917-3917 Insomnia is disease treatment benzodiazepine for ingesting
(sideEffect Insomnia Escitalopram) Medicine.kif 4089-4089 Escitalopram is a side effect of taking insomnia

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


(termFormat EnglishLanguage Insomnia "insomnia") Medicine.kif 2082-2082

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))))))		 Medicine.kif 2084-2096 If X is an instance of insomnia and Y experiences X, then there exist Z, W, V such that Z is an instance of sleeping, Y experiences Z, duration of the time of existence of Z is W, Y desires duration of the time of existence of Z is V, and V is greater than W
(=>
    (holdsDuring ?T
        (attribute ?H Insomnia))
    (holdsDuring ?T
        (and
            (desires ?H
                (attribute ?H Asleep))
            (not
                (attribute ?H Asleep)))))		 Medicine.kif 2100-2108 If insomnia is an attribute of X holds during Y, then X desires asleep is an attribute of X and asleep is not an attribute of X holds during Y
(=>
    (holdsDuring ?T
        (attribute ?H Insomnia))
    (exists (?I)
        (and
            (instance ?I
                (ImpairmentFn Sleeping))
            (experiencer ?I ?H)
            (equal ?T
                (WhenFn ?I)))))		 Medicine.kif 2110-2119 If insomnia is an attribute of X holds during Y, then there exists Z such that Z is an instance of impairment in sleeping, X experiences Z, equal Y, and the time of existence of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners