FallingAsleep![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjoint FallingAsleep WakingUp) | Mid-level-ontology.kif 17783-17783 | |
(documentation FallingAsleep EnglishLanguage "The process of transitioning from a state of being Awake to a state of being Asleep.") | Mid-level-ontology.kif 17784-17785 | |
(externalImage FallingAsleep "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Vermeer_-_Girl_Asleep.jpg") | pictureList.kif 8476-8476 | |
(externalImage FallingAsleep "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Neko_animation_steps_-_falling_asleep.png") | pictureList.kif 9198-9198 | |
(subclass FallingAsleep PsychologicalProcess) | Mid-level-ontology.kif 17782-17782 |
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 17787-17796 |
![]() |
![]() |