Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Asleep(asleep)
|  | NREM, NREM_sleep, REM, REM_sleep, asleep, at_rest, beauty_sleep, cat_sleep, catch_a_wink, catch_some_Z's, catnap, dormant, doze, dreamless, drowse, fast_asleep, forty_winks, heavy, hibernating, kip, light, log_Z's, nap, nonrapid_eye_movement, nonrapid_eye_movement_sleep, orthodox_sleep, paradoxical_sleep, profound, rapid_eye_movement, rapid_eye_movement_sleep, short_sleep, shuteye, siesta, sleep, sleep_off, sleeping, slumber, snooze, sopor, sound, sound_asleep, torpid, unawakened, wakeful, wakeless, waking, zizz |
| appearance as argument number 1 |
|
|
| (instance Asleep ConsciousnessAttribute) | Merge.kif 18664-18664 | Asleep is an instance of consciousness attribute |
| (documentation Asleep EnglishLanguage "Attribute that applies to Organisms that are sleeping.") | Merge.kif 18665-18666 | Asleep is an instance of consciousness attribute |
| (externalImage Asleep "http://articulatesoftware.com/SUMOpictures/people/ faces/ faces_4/ asleep.png") | pictureList.kif 242-242 | Asleep is an instance of consciousness attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Asleep "asleep") | english_format.kif 1757-1757 |
| antecedent |
|
|
| (=> (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 |
| (=> (or (attribute ?AGENT Asleep) (attribute ?AGENT Awake)) (attribute ?AGENT Living)) |
Merge.kif 18692-18696 | If asleep is an attribute of X or awake is an attribute of X, then living is an attribute of X |
| consequent |
|
|
| (=> (instance ?BED Bed) (hasPurpose ?BED (exists (?PERSON) (and (attribute ?PERSON Asleep) (located ?PERSON ?BED))))) |
Mid-level-ontology.kif 4418-4423 | If X is an instance of bed, then X has the purpose there exists Y such that asleep is an attribute of Y and Y is located at X |
| (=> (instance ?X KingBed) (modalAttribute (exists (?P1 ?P2 ?P3 ?TIME) (and (not (equal ?P1 ?P2)) (not (equal ?P2 ?P3)) (not (equal ?P1 ?P3)) (attribute ?P1 Asleep) (attribute ?P2 Asleep) (attribute ?P3 Asleep) (instance ?P1 Human) (instance ?P2 Human) (instance ?P3 Human) (holdsDuring ?TIME (and (located ?P1 ?X) (located ?P2 ?X) (located ?P3 ?X))))) Possibility)) |
Mid-level-ontology.kif 4436-4454 | If X is an instance of king-sized bed, then All of the following hold: (1) the statement there exist Y, Z,, , W (2) V such that equal Y (3) Z (4) equal Z (5) W (6) equal Y (7) W (8) asleep is an attribute of Y (9) asleep is an attribute of Z (10) asleep is an attribute of W (11) Y is an instance of human (12) Z is an instance of human (13) W is an instance of human (14) Y is located at X (15) Z is located at X (16) W is located at X holds during V has the modal force of possibility |
| (=> (instance ?X QueenBed) (modalAttribute (exists (?P1 ?P2 ?TIME) (and (not (equal ?P1 ?P2)) (instance ?P1 Human) (instance ?P2 Human) (holdsDuring ?TIME (and (attribute ?P1 Asleep) (attribute ?P2 Asleep) (located ?P1 ?X) (located ?P2 ?X))))) Possibility)) |
Mid-level-ontology.kif 4467-4480 | If X is an instance of queen-sized bed, then All of the following hold: (1) the statement there exist Y, Z (2) W such that equal Y (3) Z (4) Y is an instance of human (5) Z is an instance of human (6) asleep is an attribute of Y (7) asleep is an attribute of Z (8) Y is located at X (9) Z is located at X holds during W has the modal force of possibility |
| (=> (instance ?X DoubleBed) (modalAttribute (exists (?P1 ?P2 ?TIME) (and (not (equal ?P1 ?P2)) (instance ?P1 Human) (instance ?P2 Human) (holdsDuring ?TIME (and (attribute ?P1 Asleep) (attribute ?P2 Asleep) (located ?P1 ?X) (located ?P2 ?X))))) Possibility)) |
Mid-level-ontology.kif 4493-4506 | If X is an instance of full-sized bed, then All of the following hold: (1) the statement there exist Y, Z (2) W such that equal Y (3) Z (4) Y is an instance of human (5) Z is an instance of human (6) asleep is an attribute of Y (7) asleep is an attribute of Z (8) Y is located at X (9) Z is located at X holds during W has the modal force of possibility |
| (=> (instance ?X Crib) (hasPurpose ?X (exists (?BABY) (and (instance ?BABY HumanBaby) (attribute ?BABY Asleep) (located ?BABY ?X))))) |
Mid-level-ontology.kif 4590-4597 | If X is an instance of crib, then X has the purpose there exists Y such that Y is an instance of human baby, asleep is an attribute of Y, and Y is located at X |
| (=> (instance ?X Mattress) (hasPurpose ?X (exists (?PERSON) (and (attribute ?PERSON Asleep) (orientation ?PERSON ?X On))))) |
Mid-level-ontology.kif 4687-4693 | If X is an instance of mattress, then X has the purpose there exists Y such that asleep is an attribute of Y and Y is on to X |
| (=> (and (instance ?FALL FallingAsleep) (experiencer ?FALL ?AGENT)) (exists (?START ?FINISH) (and (starts ?START (WhenFn ?FALL)) (finishes ?FINISH (WhenFn ?FALL)) (holdsDuring ?START (attribute ?AGENT Awake)) (holdsDuring ?FINISH (attribute ?AGENT Asleep))))) |
Mid-level-ontology.kif 18013-18022 | If X is an instance of falling asleep and Y experiences X, then there exist Z, W such that Z starts the time of existence of X, W finishes the time of existence of X, awake is an attribute of Y holds during Z, and asleep is an attribute of Y holds during W |
| (=> (and (instance ?WAKE WakingUp) (experiencer ?WAKE ?AGENT)) (exists (?START ?FINISH) (and (starts ?START (WhenFn ?WAKE)) (finishes ?FINISH (WhenFn ?WAKE)) (holdsDuring ?START (attribute ?AGENT Asleep)) (holdsDuring ?FINISH (attribute ?AGENT Awake))))) |
Mid-level-ontology.kif 18028-18037 | If X is an instance of waking up and Y experiences X, then there exist Z, W such that Z starts the time of existence of X, W finishes the time of existence of X, asleep is an attribute of Y holds during Z, and awake is an attribute of Y holds during W |
| (=> (holdsDuring ?T (attribute ?H Sleepy)) (desires ?H (holdsDuring (ImmediateFutureFn ?T) (attribute ?H Asleep)))) |
Mid-level-ontology.kif 18067-18073 | If sleepy is an attribute of X holds during Y, then X desires asleep is an attribute of X holds during immediately after Y |
| (=> (holdsDuring ?T (attribute ?H Insomnia)) (holdsDuring ?T (and (desires ?H (attribute ?H Asleep)) (not (attribute ?H Asleep))))) |
Medicine.kif 2100-2108 | If insomnia is an attribute of X holds during Y, then X desires asleep is an attribute of X and asleep is not an attribute of X holds during Y |
| (=> (and (instance ?DREAM Dreaming) (experiencer ?DREAM ?AGENT)) (holdsDuring (WhenFn ?DREAM) (attribute ?AGENT Asleep))) |
emotion.kif 1702-1706 | If X is an instance of dreaming and Y experiences X, then asleep is an attribute of Y holds during the time of existence of X |
|