Sleeping
|
|
appearance as argument number 1 |
(documentation Sleeping EnglishLanguage "The Process of Brain activity indicative of being Asleep.") | Merge.kif 18343-18344 | |
(subclass Sleeping PsychologicalProcess) | Merge.kif 18342-18342 | Sleeping e' uma sub-classe de Processo Psicologico |
appearance as argument number 2 |
(termFormat EnglishLanguage Sleeping "sleeping") | Merge.kif 18345-18345 |
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 |
|
consequent |