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 16375-16375 | Falling asleep is disjoint from waking up |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16376-16377 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8477-8477 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9199-9199 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16374-16374 | 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 23182-23182 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23181-23181 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23180-23180 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16379-16388 |
|