Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Concierge(concierge) |  | concierge |
| appearance as argument number 1 |
|
|
| (instance Concierge ServicePosition) | Hotel.kif 2427-2427 | Concierge is an instance of service position |
| (documentation Concierge EnglishLanguage "Concierge refers to the position held by a hotel employee whose primary job it is to help or assist customers of the hotel by answering questions, providing reservations, etc.") | Hotel.kif 2428-2430 | Concierge is an instance of service position |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Concierge "concierge") | Hotel.kif 2431-2431 |
| antecedent |
|
|
| (=> (attribute ?X Concierge) (hasPurpose ?X (exists (?HELP) (and (instance ?HELP Helping) (agent ?HELP ?X))))) |
Hotel.kif 2433-2439 | If concierge is an attribute of X, then X has the purpose there exists Y such that Y is an instance of helping and X is an agent of Y |
|