SleepApnea - Sigma Knowledge base Browser

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

If sleep apnea is an attribute of an agent and sleeping is an attribute of the agent holds during a time interval,
then there exist the time interval2, a process and the process2 such that the time interval2 takes place during the time interval and there doesn't exist the process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval2 and the agent experiences the process and the process2 is an instance of breathing and the agent needs the process2 holds during the time interval2

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

KB Term:			Term intersection

English Word: