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 16391-16392 | |
(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 16390-16390 |
appearance as argument number 2 |
(disjoint FallingAsleep WakingUp) | Mid-level-ontology.kif 16375-16375 | |
(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 16394-16403 |
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 1994-2006 |