Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   MuscularContraction
|
|
|
| appearance as argument number 1 |
|
|
| (instance SleepApnea DiseaseOrSyndrome) | Medicine.kif 4184-4184 | Sleep apnea is an instance of disease or syndrome |
| (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 4186-4195 | Sleep apnea is an instance of disease or syndrome |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SleepApnea "sleep apnea") | Medicine.kif 4196-4196 |
| 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 4198-4215 | If sleep apnea is an attribute of X and sleeping is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z takes place during Y (3) there doesn't exist W such that W is an instance of breathing (4) the time of existence of W takes place during Z (5) X experiences W (6) V is an instance of breathing (7) X needs V holds during Z |
|