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 |
(documentation Asleep ChineseLanguage "这是指当 Organism 正在睡觉的 Attribute。") | chinese_format.kif 4041-4041 | |
(documentation Asleep EnglishLanguage "Attribute that applies to Organisms that are sleeping.") | Merge.kif 18396-18397 | |
(externalImage Asleep "http://articulatesoftware.com/SUMOpictures/people/ faces/ faces_4/ asleep.png") | pictureList.kif 242-242 | |
(instance Asleep ConsciousnessAttribute) | Merge.kif 18395-18395 | Asleep is an instance of consciousness attribute |
appearance as argument number 2 |
(termFormat ChineseLanguage Asleep "睡着") | chinese_format.kif 1266-1266 | |
(termFormat EnglishLanguage Asleep "asleep") | english_format.kif 1753-1753 | |
(termFormat FrenchLanguage Asleep "endormi") | french_format.kif 944-944 | |
(termFormat Hindi Asleep "soyaa huaa") | terms-hindi.txt 479-479 | |
(termFormat ItalianLanguage Asleep "Addormentato") | terms-it.txt 483-483 | |
(termFormat JapaneseLanguage Asleep "眠っている") | japanese_format.kif 2628-2628 | |
(termFormat PortugueseLanguage Asleep "Dormindo") | portuguese_format.kif 896-896 | |
(termFormat cb Asleep "nakatulog") | terms-cb.txt 485-485 | |
(termFormat cz Asleep "asleep") | terms-cz.txt 519-519 | |
(termFormat ro Asleep "adormire") | relations-ro.kif 965-965 | |
(termFormat tg Asleep "natutulog") | terms-tg.txt 484-484 |
antecedent |
(=> (holdsDuring ?T (attribute ?H Asleep)) (exists (?S) (and (equal ?T (WhenFn ?S)) (instance ?S Sleeping) (experiencer ?S ?H)))) |
Merge.kif 18404-18411 |
|
(=> (or (attribute ?AGENT Asleep) (attribute ?AGENT Awake)) (attribute ?AGENT Living)) |
Merge.kif 18423-18427 |
|
consequent |