WakingUp
|
|
appearance as argument number 1 |
(documentation WakingUp EnglishLanguage "The process of transitioning from a state of being Asleep to a state of being Awake.") | Mid-level-ontology.kif 16392-16393 | |
(externalImage WakingUp "http://upload.wikimedia.org/wikipedia/commons/6/ 66/ Le_Lever.jpg") | pictureList.kif 8244-8244 | |
(externalImage WakingUp "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Das_Erwachen_.JPG") | pictureList.kif 6966-6966 | |
(externalImage WakingUp "http://upload.wikimedia.org/wikipedia/commons/d/ df/ Good_Morning%2C_Sunshine%21.jpg") | pictureList.kif 8245-8245 | |
(subclass WakingUp PsychologicalProcess) | Mid-level-ontology.kif 16391-16391 | 子類 起來 and PsychologicalProcess |
appearance as argument number 2 |
(disjoint FallingAsleep WakingUp) | Mid-level-ontology.kif 16376-16376 | 不相交的 沉沉睡去 and 起來 |
(termFormat ChineseLanguage WakingUp "起来") | domainEnglishFormat.kif 62085-62085 | |
(termFormat ChineseTraditionalLanguage WakingUp "起來") | domainEnglishFormat.kif 62084-62084 | |
(termFormat EnglishLanguage WakingUp "waking up") | domainEnglishFormat.kif 62083-62083 |
antecedent |
(=> (and (instance ?WAKE WakingUp) (experiencer ?WAKE ?AGENT)) (exists (?START ?FINISH) (and (starts ?START (WhenFn ?WAKE)) (finishes ?FINISH (WhenFn ?WAKE)) (holdsDuring ?START (attribute ?AGENT Asleep)) (holdsDuring ?FINISH (attribute ?AGENT Awake))))) |
Mid-level-ontology.kif 16395-16404 |
|
consequent |