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