| 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 17304-17304 | 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 17305-17306 | Falling asleep is disjoint from waking up |
| (externalImage FallingAsleep "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Vermeer_-_Girl_Asleep.jpg") | pictureList.kif 8476-8476 | 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 9198-9198 | Falling asleep is disjoint from waking up |
| (subclass FallingAsleep PsychologicalProcess) | Mid-level-ontology.kif 17303-17303 | Falling asleep is a subclass of psychological process |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage FallingAsleep "沉沉睡去") | domainEnglishFormat.kif 23196-23196 | |
| (termFormat ChineseTraditionalLanguage FallingAsleep "沉沉睡去") | domainEnglishFormat.kif 23195-23195 | |
| (termFormat EnglishLanguage FallingAsleep "falling asleep") | domainEnglishFormat.kif 23194-23194 |
| 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 17308-17317 |
|
|
|
|