Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WakeUpService(wake-up service) |  | wake-up_call |
| appearance as argument number 1 |
|
|
| (subclass WakeUpService ServiceProcess) | Hotel.kif 2007-2007 | Wake-up service is a subclass of service |
| (documentation WakeUpService EnglishLanguage "WakeUpService refers to an agent performing some action (like a phone call or knocking on the door) to wake up a person") | Hotel.kif 2008-2009 | Wake-up service is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WakeUpService "wake-up service") | Hotel.kif 2010-2010 |
| antecedent |
|
|
| (=> (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 |
|