Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Doorman(doorman) |  | commissionaire, door_guard, doorkeeper, doorman, gatekeeper, hall_porter, ostiary, porter |
| appearance as argument number 1 |
|
|
| (instance Doorman ServicePosition) | Hotel.kif 2441-2441 | Doorman is an instance of service position |
| (documentation Doorman EnglishLanguage "Doorman refers to the position held by a person whose primary job it is to open and close doors") | Hotel.kif 2442-2443 | Doorman is an instance of service position |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Doorman "doorman") | Hotel.kif 2444-2444 |
| 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 2446-2456 | If doorman is an attribute of X, then X has the purpose there exist Y, Z such that Y is an instance of door, X is an agent of Z, Y is a patient of Z, and Z is an instance of opening or Z is an instance of closing |
|