| HotelBuilding(hotel) | | auberge, hostel, hostelry, hotel, inn, lodge |
| appearance as argument number 1 |
|
|
| (documentation HotelBuilding EnglishLanguage "A ResidentialBuilding which provides temporary accommodations to guests in exchange for money.") | Hotel.kif 78-79 | |
| (subclass HotelBuilding ResidentialBuilding) | Hotel.kif 77-77 | Hotel is a subclass of residential building |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotelBuilding "hotel") | Hotel.kif 80-80 |
| antecedent |
|
|
| (=> (instance ?HOTEL HotelBuilding) (exists (?ROOM) (and (instance ?ROOM HotelRoom) (properPart ?ROOM ?HOTEL)))) |
Hotel.kif 82-87 |
|
| consequent |
|
|
| (=> (and (attribute ?X ?Y) (instance ?Y HotelLevelAttribute)) (and (instance ?X BuildingLevel) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?X ?BLDG))))) |
Hotel.kif 1207-1216 |
|
| (=> (instance ?ROOM HotelRoom) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?ROOM ?BLDG)))) |
Hotel.kif 125-130 |
|
|
|
|