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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SleepApnea
SleepApnea(sleep apnea)

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


(documentation SleepApnea EnglishLanguage "Sleep apnea, also spelled sleep apnoea, is a sleep disorder in which pauses in Breathing or periods of shallow breathing during Sleeping occur more often than normal. Each pause can last for a few seconds to a few minutes and they happen many times a night. In the most common form, this follows loud snoring. There may be a Choking or snorting sound as breathing resumes. Because the disorder disrupts normal sleep, those affected may experience sleepiness or feel tired during the day. In children, it may cause hyperactivity or problems in school.[from Wikipedia]") Medicine.kif 4149-4158
(instance SleepApnea DiseaseOrSyndrome) Medicine.kif 4147-4147 Sleep apnea is an instance of disease or syndrome

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


(termFormat EnglishLanguage SleepApnea "sleep apnea") Medicine.kif 4159-4159

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


(=>
    (holdsDuring ?T
        (and
            (attribute ?H SleepApnea)
            (attribute ?H Sleeping)))
    (exists (?T2 ?B ?B2)
        (and
            (during ?T2 ?T)
            (not
                (exists (?B)
                    (and
                        (instance ?B Breathing)
                        (during
                            (WhenFn ?B) ?T2)
                        (experiencer ?B ?H))))
            (holdsDuring ?T2
                (and
                    (instance ?B2 Breathing)
                    (needs ?H ?B2))))))
Medicine.kif 4161-4178


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