HotelFrontDesk
|
|
appearance as argument number 1 |
(documentation HotelFrontDesk EnglishLanguage "HotelFrontDesk is a subOrganization of a TravelerAccommodation that takes charge of all CheckInService and CheckOutService transactions. They often do other miscellaneous things too at the request of the hotel guest") | Hotel.kif 1742-1745 | |
(subclass HotelFrontDesk Organization) | Hotel.kif 1741-1741 |
appearance as argument number 2 |
(termFormat EnglishLanguage HotelFrontDesk "front desk") | Hotel.kif 1746-1746 |
antecedent |
(=> (instance ?X HotelFrontDesk) (exists (?ORG) (and (attribute ?ORG TravelerAccommodation) (subOrganization ?X ?ORG)))) |
Hotel.kif 1748-1753 | |
(=> (instance ?X HotelFrontDesk) (hasPurpose ?X (exists (?CHECK) (and (or (instance ?CHECK CheckInService) (instance ?CHECK CheckOutService)) (agent ?CHECK ?X))))) |
Hotel.kif 1755-1763 |
consequent |
(=> (and (element ?ROOM (PropertyFn ?HOTEL)) (attribute ?ROOM AnnexRoom) (instance ?ROOM HotelRoom)) (exists (?BLDG1 ?BLDG2 ?FRNT) (and (subOrganization ?FRNT ?HOTEL) (instance ?FRNT HotelFrontDesk) (located ?FRNT ?BLDG1) (element ?BLDG1 (PropertyFn ?HOTEL)) (element ?BLDG2 (PropertyFn ?HOTEL)) (part ?ROOM ?BLDG2) (not (equal ?BLDG1 ?BLDG2))))) |
Hotel.kif 1127-1140 |