| 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 15837-15838 | |
| (externalImage WakingUp "http://upload.wikimedia.org/wikipedia/commons/6/ 66/ Le_Lever.jpg") | pictureList.kif 8245-8245 | |
| (externalImage WakingUp "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Das_Erwachen_.JPG") | pictureList.kif 6967-6967 | |
| (externalImage WakingUp "http://upload.wikimedia.org/wikipedia/commons/d/ df/ Good_Morning%2C_Sunshine%21.jpg") | pictureList.kif 8246-8246 | |
| (subclass WakingUp PsychologicalProcess) | Mid-level-ontology.kif 15836-15836 | 起来 是 心理过程 的 subclass |
| appearance as argument number 2 |
|
|
| (disjoint FallingAsleep WakingUp) | Mid-level-ontology.kif 15821-15821 | 沉沉睡去 和 % 2 是 disjoint |
| (termFormat ChineseLanguage WakingUp "起来") | domainEnglishFormat.kif 62052-62052 | |
| (termFormat ChineseTraditionalLanguage WakingUp "起來") | domainEnglishFormat.kif 62051-62051 | |
| (termFormat EnglishLanguage WakingUp "waking up") | domainEnglishFormat.kif 62050-62050 |
| 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 15840-15849 |
| consequent |
|
|
| (=> (and (attribute ?H Mausaharati) (instance ?D Drumming) (agent ?D ?H) (instance ?DAY Day) (instance ?S Sunrise) (during ?S ?D) (before ?D ?S)) (hasPurpose ?D (exists (?P ?SUHUR ?WU) (and (instance ?WU WakingUp) (experiencer ?WU ?P) (instance ?SUHUR Suhur) (agent ?SUHUR ?P) (before ?WU ?SUHUR) (during ?WU ?DAY) (during ?SUHUR ?DAY))))) |
ArabicCulture.kif 57-75 |
|
| (=> (instance ?SVC WakeUpService) (hasPurpose ?SVC (exists (?WAKE ?CUST ?AGENT ?PROC) (and (agent ?SVC ?AGENT) (experiencer ?SVC ?CUST) (instance ?PROC IntentionalProcess) (agent ?PROC ?AGENT) (experiencer ?PROC ?CUST) (instance ?WAKE WakingUp) (experiencer ?WAKE ?CUST) (result ?PROC ?WAKE))))) |
Hotel.kif 1969-1981 |
|
|
|