FallingAsleep(falling asleep)![]() ![]() | ![]() | dope_off, doze_off, drift_off, drop_off, drowse_off, fall_asleep, flake_out, nod_off, zonk_out |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17763-17763 | Falling asleep is disjoint from waking up |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17764-17765 | Falling asleep is disjoint from waking up |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8476-8476 | Falling asleep is disjoint from waking up |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9198-9198 | Falling asleep is disjoint from waking up |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17762-17762 | Falling asleep is a subclass of psychological process |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23185-23185 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23184-23184 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23183-23183 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17767-17776 |
|
![]() |
![]() |