FallingAsleep(沉沉睡去) |
appearance as argument number 1 |
(disjoint FallingAsleep WakingUp) | Mid-level-ontology.kif 16403-16403 | 沉沉睡去 和 % 2 是 disjoint |
(documentation FallingAsleep EnglishLanguage "The process of transitioning from a state of being Awake to a state of being Asleep.") | Mid-level-ontology.kif 16404-16405 | |
(externalImage FallingAsleep "http://upload.wikimedia.org/wikipedia/commons/ 3/ 34/ Vermeer_-_Girl_Asleep.jpg") | pictureList.kif 8477-8477 | |
(externalImage FallingAsleep "http://upload.wikimedia.org/wikipedia/commons/ b/ b1/ Neko_animation_steps_-_falling_asleep.png") | pictureList.kif 9199-9199 | |
(subclass FallingAsleep PsychologicalProcess) | Mid-level-ontology.kif 16402-16402 | 沉沉睡去 是 心理过程 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage FallingAsleep "沉沉睡去") | domainEnglishFormat.kif 23182-23182 | |
(termFormat ChineseTraditionalLanguage FallingAsleep "沉沉睡去") | domainEnglishFormat.kif 23181-23181 | |
(termFormat EnglishLanguage FallingAsleep "falling asleep") | domainEnglishFormat.kif 23180-23180 |
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 16407-16416 |