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 and PsychologicalProcess |
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 |