| 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 13078-13078 | Falling asleep is disjoint from waking up |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13079-13080 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8480-8480 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9204-9204 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13077-13077 | 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 23175-23175 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23174-23174 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23173-23173 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13082-13091 |
|
|
|
|