| 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 17799-17800 | |
| (externalImage WakingUp "http://upload.wikimedia.org/wikipedia/commons/6/ 66/ Le_Lever.jpg") | pictureList.kif 8243-8243 | |
| (externalImage WakingUp "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Das_Erwachen_.JPG") | pictureList.kif 6965-6965 | |
| (externalImage WakingUp "http://upload.wikimedia.org/wikipedia/commons/d/ df/ Good_Morning%2C_Sunshine%21.jpg") | pictureList.kif 8244-8244 | |
| (subclass WakingUp PsychologicalProcess) | Mid-level-ontology.kif 17798-17798 |
| appearance as argument number 2 |
|
|
| (disjoint FallingAsleep WakingUp) | Mid-level-ontology.kif 17783-17783 | |
| (termFormat ChineseLanguage WakingUp "起来") | domainEnglishFormat.kif 62108-62108 | |
| (termFormat ChineseTraditionalLanguage WakingUp "起來") | domainEnglishFormat.kif 62107-62107 | |
| (termFormat EnglishLanguage WakingUp "waking up") | domainEnglishFormat.kif 62106-62106 |
| 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 17802-17811 |
| consequent |
|
|
| (=> (and (instance ?H Man) (attribute ?H Mausaharati) (instance ?D Drumming) (agent ?D ?H) (instance ?DAY Day) (instance ?S Sunrise) (during ?S ?DAY) (earlier (WhenFn ?D) ?S)) (hasPurpose ?D (exists (?P ?SUHUR ?WU) (and (instance ?WU WakingUp) (experiencer ?WU ?P) (instance ?SUHUR Suhur) (agent ?SUHUR ?P) (earlier (WhenFn ?WU) (WhenFn ?SUHUR)) (during (WhenFn ?WU) ?DAY) (during (WhenFn ?SUHUR) ?DAY))))) |
ArabicCulture.kif 65-84 | |
| (=> (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 2005-2017 |
|
|
|