Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ExecutiveService(executive service) |
| appearance as argument number 1 |
|
| (subclass ExecutiveService ServiceProcess) | Hotel.kif 2258-2258 | Executive service is a subclass of service |
| (documentation ExecutiveService EnglishLanguage "ExecutiveService is the class of ServiceProcess that are directed towards guests staying at rooms in an ExecutiveLevel") | Hotel.kif 2259-2260 | Executive service is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ExecutiveService "executive service") | Hotel.kif 2261-2261 |
| antecedent |
|
|
| (=> (instance ?SVC ExecutiveService) (exists (?HUMAN ?LEVEL ?ROOM) (and (serviceRecipient ?SVC ?HUMAN) (stays ?HUMAN ?ROOM) (located ?ROOM ?LEVEL) (attribute ?LEVEL ExecutiveLevel)))) |
Hotel.kif 2263-2270 | If X is an instance of executive service, then there exist Y, Z, W such that Y receives a service during X, Y stays at W, W is located at Z, and executive level is an attribute of Z |
|