Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
WakingUp(waking up)
|  | arouse, awake, awaken, awakening, come_alive, wake, wake_up, waken, wakening, waking_up |
| appearance as argument number 1 |
|
|
| (subclass WakingUp PsychologicalProcess) | Mid-level-ontology.kif 18024-18024 | Waking up is a subclass of psychological process |
| (documentation WakingUp EnglishLanguage "The process of transitioning from a state of being Asleep to a state of being Awake.") | Mid-level-ontology.kif 18025-18026 | Waking up is a subclass of psychological process |
| (externalImage WakingUp "http://upload.wikimedia.org/wikipedia/commons/7/ 71/ Das_Erwachen_.JPG") | pictureList.kif 6965-6965 | Waking up is a subclass of psychological process |
| (externalImage WakingUp "http://upload.wikimedia.org/wikipedia/commons/6/ 66/ Le_Lever.jpg") | pictureList.kif 8243-8243 | Waking up is a subclass of psychological process |
| (externalImage WakingUp "http://upload.wikimedia.org/wikipedia/commons/d/ df/ Good_Morning%2C_Sunshine%21.jpg") | pictureList.kif 8244-8244 | Waking up is a subclass of psychological process |
| appearance as argument number 2 |
|
|
| 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 18028-18037 | If X is an instance of waking up and Y experiences X, then there exist Z, W such that Z starts the time of existence of X, W finishes the time of existence of X, asleep is an attribute of Y holds during Z, and awake is an attribute of Y holds during W |
| 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 | If All of the following hold: (1) X is an instance of man (2) mausaharati is an attribute of X (3) Y is an instance of drumming (4) X is an agent of Y (5) Z is an instance of day (6) W is an instance of sunrise (7) W takes place during Z (8) the time of existence of Y happens earlier than W, then All of the following hold: (1) Y has the purpose there exist V, U (2) T such that T is an instance of waking up (3) V experiences T (4) U is an instance of suhur (5) V is an agent of U (6) the time of existence of T happens earlier than the time of existence of U (7) the time of existence of T takes place during Z (8) the time of existence of U takes place during Z |
| (=> (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 2012-2024 | If X is an instance of wake-up service, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that W is an agent of X (3) Z experiences X (4) V is an instance of intentional process (5) W is an agent of V (6) Z experiences V (7) Y is an instance of waking up (8) Z experiences Y (9) Y is a result of V |
|