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 ist eine teilkategorie von PsychologicalProcess |
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 |
(=> (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 16446-16458 |
|
(=> (attribute ?A Tired) (desires ?A (exists (?S) (and (instance ?S Sleeping) (agent ?S ?A))))) |
Mid-level-ontology.kif 19815-19821 |
|
(=> (holdsDuring ?T (attribute ?H Asleep)) (exists (?S) (and (equal ?T (WhenFn ?S)) (instance ?S Sleeping) (experiencer ?S ?H)))) |
Merge.kif 18347-18354 |
|
(=> (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 5323-5334 |
|