Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Porter
|
|
|
| appearance as argument number 1 |
|
|
| (instance Porter ServicePosition) | Hotel.kif 2396-2396 | Porter is an instance of service position |
| (documentation Porter EnglishLanguage "Porter refers to a Human employed to carry luggages and other supplies") | Hotel.kif 2397-2398 | Porter is an instance of service position |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Porter "porter") | Hotel.kif 2399-2399 |
| antecedent |
|
|
| (=> (attribute ?X Porter) (hasPurpose ?X (exists (?LUGGAGE ?CARRY) (and (instance ?LUGGAGE TravelContainer) (instance ?CARRY Carrying) (agent ?CARRY ?X))))) |
Hotel.kif 2401-2408 | If porter is an attribute of X, then X has the purpose there exist Y, Z such that Y is an instance of travel container, Z is an instance of carrying, and X is an agent of Z |
| (=> (and (customer ?CUST ?AGENT) (employs ?AGENT ?X) (attribute ?AGENT TravelerAccommodation) (attribute ?X Porter) (possesses ?CUST ?LUGGAGE) (instance ?LUGGAGE TravelContainer)) (exists (?ROOM ?CARRY) (and (instance ?ROOM HotelUnit) (instance ?CARRY Carrying) (agent ?CARRY ?X) (or (destination ?CARRY ?ROOM) (origin ?CARRY ?ROOM))))) |
Hotel.kif 2410-2425 | If All of the following hold: (1) X is a customer of Y (2) X employs Z (3) traveler accommodation is an attribute of X (4) porter is an attribute of Z (5) Y possesses W (6) W is an instance of travel container, then there exist V, U such that V is an instance of hotel unit, U is an instance of carrying, Z is an agent of U, and U ends up at V or U originates at V |
|