| 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 |
|
|
|
|