Sleeping
|
|
appearance as argument number 1 |
(documentation Sleeping EnglishLanguage "The Process of Brain activity indicative of being Asleep.") | Merge.kif 18321-18322 | |
(subclass Sleeping PsychologicalProcess) | Merge.kif 18320-18320 |
appearance as argument number 2 |
(termFormat EnglishLanguage Sleeping "sleeping") | Merge.kif 18323-18323 |
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 |
(=> (and (instance ?I Insomnia) (experiencer ?I ?H)) (exists (?S ?D ?D2) (and (instance ?S Sleeping) (experiencer ?S ?H) (duration (WhenFn ?S) ?D) (desires ?H (and (duration (WhenFn ?S) ?D2) (greaterThan ?D2 ?D)))))) |
Mid-level-ontology.kif 16447-16459 | |
(=> (attribute ?A Tired) (desires ?A (exists (?S) (and (instance ?S Sleeping) (agent ?S ?A))))) |
Mid-level-ontology.kif 19816-19822 | |
(=> (holdsDuring ?T (attribute ?H Asleep)) (exists (?S) (and (equal ?T (WhenFn ?S)) (instance ?S Sleeping) (experiencer ?S ?H)))) |
Merge.kif 18325-18332 | |
(=> (holdsDuring ?T (attribute ?H Insomnia)) (exists (?I) (and (instance ?I (ImpairmentFn Sleeping)) (experiencer ?I ?H) (equal ?T (WhenFn ?I))))) |
Medicine.kif 2105-2114 | |
(=> (holdsDuring ?T (attribute ?H Narcolepsy)) (exists (?S) (and (instance ?S Sleeping) (experiencer ?S ?H) (during (WhenFn ?S) ?T) (not (wants ?H ?S))))) |
Medicine.kif 4783-4793 | |
(=> (instance ?PJ Pajamas) (hasPurpose ?PJ (exists (?A ?REST) (and (instance ?A Human) (agent ?REST ?A) (holdsDuring ?REST (wears ?A ?PJ)) (or (instance ?REST Sleeping) (instance ?REST StayingStill)))))) |
Mid-level-ontology.kif 5324-5335 |