FallingAsleep
|
|
appearance as argument number 1 |
(disjoint FallingAsleep WakingUp) | Mid-level-ontology.kif 16403-16403 | FallingAsleep と WakingUp は disjoint では %n |
(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 | FallingAsleep は 精神的プロセス の subclass では %n |
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 |
|