| Concierge(concierge) | | concierge |
| appearance as argument number 1 |
|
|
| (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 2410-2412 | |
| (instance Concierge ServicePosition) | Hotel.kif 2409-2409 | Concierge is an instance of service position |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Concierge "concierge") | Hotel.kif 2413-2413 |
| antecedent |
|
|
| (=> (attribute ?X Concierge) (hasPurpose ?X (exists (?HELP) (and (instance ?HELP Helping) (agent ?HELP ?X))))) |
Hotel.kif 2415-2421 |
|
|
|
|