Sleeping(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 is a subclass of psychological process |
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 |