| 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 2421-2423 | |
| (instance Concierge ServicePosition) | Hotel.kif 2420-2420 | Concierge is an instance of service position |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Concierge "concierge") | Hotel.kif 2424-2424 |
| antecedent |
|
|
| (=> (attribute ?X Concierge) (hasPurpose ?X (exists (?HELP) (and (instance ?HELP Helping) (agent ?HELP ?X))))) |
Hotel.kif 2426-2432 |
|
|
|
|