| 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 1635-1636 | |
| (subclass HotelFunctionRoom Room) | Hotel.kif 1634-1634 | subclass HotelFunctionRoom and Room |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotelFunctionRoom "hotel function room") | Hotel.kif 1637-1637 | termFormat EnglishLanguage, HotelFunctionRoom and "hotel function room" |
| appearance as argument number 3 |
|
|
| (domainSubclass functionRoomAmenity 1 HotelFunctionRoom) | Hotel.kif 781-781 | domainSubclass functionRoomAmenity, 1 and HotelFunctionRoom |
| antecedent |
|
|
| (=> (and (instance ?X HotelFunctionRoom) (element ?X (PropertyFn ?HOTEL))) (hasPurpose ?X (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?X))))) |
Hotel.kif 1644-1652 | |
| (=> (instance ?X HotelFunctionRoom) (exists (?HOTEL) (element ?X (PropertyFn ?HOTEL)))) |
Hotel.kif 1639-1642 | |
| (=> (instance ?X HotelFunctionRoom) (modalAttribute (exists (?MTG) (and (instance ?MTG FormalMeeting) (located ?MTG ?X))) Possibility)) |
Hotel.kif 1654-1660 |
|
|
|
|