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 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4041-4041 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18504-18505 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 242-242 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18503-18503 | Asleep is an instance of consciousness attribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1266-1266 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1753-1753 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 944-944 | |
No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 479-479 | |
No TPTP formula. May not be expressible in strict first order. | terms-it.txt 483-483 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2628-2628 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 896-896 | |
No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 485-485 | |
No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 519-519 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 778-778 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 965-965 | |
No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 484-484 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18512-18519 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18531-18535 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19810-19814 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17767-17776 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17782-17791 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2092-2100 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17821-17827 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4215-4220 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4387-4394 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4290-4303 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4233-4251 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4484-4490 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4264-4277 |
|
![]() |
![]() |