|
|
   HotelFunctionRoom
|
|
|
| appearance as argument number 1 |
|
|
| (documentation HotelFunctionRoom EnglishLanguage "HotelFunctionRoom is a Room found in a HotelBuilding that is rented out and can be used for virtually any purpose.") | Hotel.kif 1687-1688 | |
| (subclass HotelFunctionRoom Room) | Hotel.kif 1686-1686 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotelFunctionRoom "hotel function room") | Hotel.kif 1689-1689 |
| appearance as argument number 3 |
|
|
| (domainSubclass functionRoomAmenity 1 HotelFunctionRoom) | Hotel.kif 808-808 |
| antecedent |
|
|
| (=> (and (instance ?X HotelFunctionRoom) (element ?X (PropertyFn ?HOTEL))) (hasPurpose ?X (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?X))))) |
Hotel.kif 1696-1704 | |
| (=> (instance ?X HotelFunctionRoom) (exists (?HOTEL) (element ?X (PropertyFn ?HOTEL)))) |
Hotel.kif 1691-1694 | |
| (=> (instance ?X HotelFunctionRoom) (modalAttribute (exists (?MTG) (and (instance ?MTG FormalMeeting) (located ?MTG ?X))) Possibility)) |
Hotel.kif 1706-1712 |
|
|
|