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



KB Term:  Term intersection
English Word: 

  Narcolepsy

Sigma KEE - Narcolepsy
Narcolepsy(narcolepsy)

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


(diseaseMedicine Narcolepsy Adderall Ingesting) Medicine.kif 4787-4787 Narcolepsy is disease treatment Mydayis for ingesting
(instance Narcolepsy DiseaseOrSyndrome) Medicine.kif 4789-4789 Narcolepsy is an instance of disease or syndrome
(documentation Narcolepsy EnglishLanguage "Narcolepsy is a long-term neurological disorder that involves a decreased ability to regulate sleep-wake cycles. Symptoms often include periods of excessive daytime sleepiness and brief involuntary sleep episodes. About 70% of those affected also experience episodes of sudden loss of muscle strength, known as cataplexy. These experiences can be brought on by strong emotions. Less commonly, there may be vivid hallucinations or an inability to move (sleep paralysis) while falling asleep or waking up. People with narcolepsy tend to sleep about the same number of hours per day as people without, but the quality of sleep tends to be lessened. [from Wikipedia]") Medicine.kif 4791-4801 Narcolepsy is an instance of disease or syndrome

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


(termFormat EnglishLanguage Narcolepsy "narcolepsy") Medicine.kif 4802-4802

antecedent
-------------------------


(=>
    (holdsDuring ?T
        (attribute ?H Narcolepsy))
    (exists (?S)
        (and
            (instance ?S Sleeping)
            (experiencer ?S ?H)
            (during
                (WhenFn ?S) ?T)
            (not
                (wants ?H ?S)))))
Medicine.kif 4804-4814 If narcolepsy is an attribute of X holds during Y, then there exists Z such that Z is an instance of sleeping, X experiences Z, the time of existence of Z takes place during Y, and X doesn't want 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