| 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 |
|
|
| (disjoint FallingAsleep WakingUp) | Mid-level-ontology.kif 16594-16594 | Falling asleep is disjoint from waking up |
| (documentation FallingAsleep EnglishLanguage "The process of transitioning from a state of being Awake to a state of being Asleep.") | Mid-level-ontology.kif 16595-16596 | Falling asleep is disjoint from waking up |
| (externalImage FallingAsleep "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Vermeer_-_Girl_Asleep.jpg") | pictureList.kif 8477-8477 | Falling asleep is disjoint from waking up |
| (externalImage FallingAsleep "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Neko_animation_steps_-_falling_asleep.png") | pictureList.kif 9199-9199 | Falling asleep is disjoint from waking up |
| (subclass FallingAsleep PsychologicalProcess) | Mid-level-ontology.kif 16593-16593 | Falling asleep is a subclass of psychological process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FallingAsleep "沉沉睡去") | domainEnglishFormat.kif 23202-23202 | |
| (termFormat ChineseTraditionalLanguage FallingAsleep "沉沉睡去") | domainEnglishFormat.kif 23201-23201 | |
| (termFormat EnglishLanguage FallingAsleep "falling asleep") | domainEnglishFormat.kif 23200-23200 |
| antecedent |
|
|
| (=> (and (instance ?FALL FallingAsleep) (experiencer ?FALL ?AGENT)) (exists (?START ?FINISH) (and (starts ?START (WhenFn ?FALL)) (finishes ?FINISH (WhenFn ?FALL)) (holdsDuring ?START (attribute ?AGENT Awake)) (holdsDuring ?FINISH (attribute ?AGENT Asleep))))) |
Mid-level-ontology.kif 16598-16607 |
|
|
|
|