Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  sheddingBodyPart
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Sleeping PsychologicalProcess) | Merge.kif 18668-18668 | Sleeping is a subclass of psychological process |
| (documentation Sleeping EnglishLanguage "The Process of Brain activity indicative of being Asleep.") | Merge.kif 18669-18670 | Sleeping is a subclass of psychological process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Sleeping "sleeping") | Merge.kif 18671-18671 |
| 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 4198-4215 | If sleep apnea is an attribute of X and sleeping is an attribute of X holds during Y, then All of the following hold: (1) there exist Z, W (2) V such that Z takes place during Y (3) there doesn't exist W such that W is an instance of breathing (4) the time of existence of W takes place during Z (5) X experiences W (6) V is an instance of breathing (7) X needs V holds during Z |
| consequent |
|
|
| (=> (holdsDuring ?T (attribute ?H Asleep)) (exists (?S) (and (equal ?T (WhenFn ?S)) (instance ?S Sleeping) (experiencer ?S ?H)))) |
Merge.kif 18673-18680 | If asleep is an attribute of X holds during Y, then there exists Z such that equal Y, the time of existence of Z, Z is an instance of sleeping, and X experiences Z |
| (=> (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 6443-6454 | If X is an instance of pajamas, then X has the purpose there exist Y, Z such that Y is an instance of human, Y is an agent of Z, Y wears X holds during Z, and Z is an instance of sleeping or Z is an instance of staying still |
| (=> (attribute ?A Tired) (desires ?A (exists (?S) (and (instance ?S Sleeping) (agent ?S ?A))))) |
Mid-level-ontology.kif 21718-21724 | If tired is an attribute of X, then X desires there exists Y such that Y is an instance of sleeping and X is an agent of Y |
| (=> (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)))))) |
Medicine.kif 2084-2096 | If X is an instance of insomnia and Y experiences X, then there exist Z, W, V such that Z is an instance of sleeping, Y experiences Z, duration of the time of existence of Z is W, Y desires duration of the time of existence of Z is V, and V is greater than W |
| (=> (holdsDuring ?T (attribute ?H Insomnia)) (exists (?I) (and (instance ?I (ImpairmentFn Sleeping)) (experiencer ?I ?H) (equal ?T (WhenFn ?I))))) |
Medicine.kif 2110-2119 | If insomnia is an attribute of X holds during Y, then there exists Z such that Z is an instance of impairment in sleeping, X experiences Z, equal Y, and the time of existence of Z |
| (=> (holdsDuring ?T (attribute ?H Narcolepsy)) (exists (?S) (and (instance ?S Sleeping) (experiencer ?S ?H) (during (WhenFn ?S) ?T) (not (wants ?H ?S))))) |
Medicine.kif 4804-4814 | If narcolepsy is an attribute of X holds during Y, then there exists Z such that Z is an instance of sleeping, X experiences Z, the time of existence of Z takes place during Y, and X doesn't want Z |
|