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 16419-16420 | |
(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 16418-16418 | WakingUp è una sottoclasse di ProcessoPsicologico |
appearance as argument number 2 |
(disjoint FallingAsleep WakingUp) | Mid-level-ontology.kif 16403-16403 | FallingAsleep è disgiunto da WakingUp |
(termFormat ChineseLanguage WakingUp "起来") | domainEnglishFormat.kif 62087-62087 | |
(termFormat ChineseTraditionalLanguage WakingUp "起來") | domainEnglishFormat.kif 62086-62086 | |
(termFormat EnglishLanguage WakingUp "waking up") | domainEnglishFormat.kif 62085-62085 |
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 16422-16431 |
|
consequent |