| Doorman(doorman) | | commissionaire, door_guard, doorkeeper, doorman, gatekeeper, hall_porter, ostiary, porter |
| appearance as argument number 1 |
|
|
| (documentation Doorman EnglishLanguage "Doorman refers to the position held by a person whose primary job it is to open and close doors") | Hotel.kif 2435-2436 | |
| (instance Doorman ServicePosition) | Hotel.kif 2434-2434 | Doorman is an instance of service position |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Doorman "doorman") | Hotel.kif 2437-2437 |
| antecedent |
|
|
| (=> (attribute ?X Doorman) (hasPurpose ?X (exists (?DOOR ?PROC) (and (instance ?DOOR Door) (agent ?PROC ?X) (patient ?PROC ?DOOR) (or (instance ?PROC Opening) (instance ?PROC Closing)))))) |
Hotel.kif 2439-2449 |
|
|
|
|