Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HotelFunctionRoom(hotel function room) |
| appearance as argument number 1 |
|
| (subclass HotelFunctionRoom Room) | Hotel.kif 1697-1697 | Hotel function room is a subclass of room |
| (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 1698-1699 | Hotel function room is a subclass of room |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotelFunctionRoom "hotel function room") | Hotel.kif 1700-1700 |
| appearance as argument number 3 |
|
|
| (domainSubclass functionRoomAmenity 1 HotelFunctionRoom) | Hotel.kif 812-812 | The number 1 argument of function room amenity is a subclass of hotel function room |
| (domainSubclass freeFunctionRoomAmenity 1 HotelFunctionRoom) | Hotel.kif 839-839 | The number 1 argument of free function room amenity is a subclass of hotel function room |
| (domainSubclass paidFunctionRoomAmenity 1 HotelFunctionRoom) | Hotel.kif 871-871 | The number 1 argument of free function room amenity is a subclass of hotel function room |
| antecedent |
|
|
| (=> (instance ?X HotelFunctionRoom) (exists (?HOTEL) (element ?X (PropertyFn ?HOTEL)))) |
Hotel.kif 1702-1705 | If X is an instance of hotel function room, then there exists Y such that X is an element of belongings of Y |
| (=> (and (instance ?X HotelFunctionRoom) (element ?X (PropertyFn ?HOTEL))) (hasPurpose ?X (exists (?RENT) (and (instance ?RENT Renting) (patient ?RENT ?X))))) |
Hotel.kif 1707-1715 | If X is an instance of hotel function room and X is an element of belongings of Y, then X has the purpose there exists Z such that Z is an instance of renting and X is a patient of Z |
| (=> (instance ?X HotelFunctionRoom) (modalAttribute (exists (?MTG) (and (instance ?MTG FormalMeeting) (located ?MTG ?X))) Possibility)) |
Hotel.kif 1717-1723 | If X is an instance of hotel function room, then the statement there exists Y such that Y is an instance of formal meeting and Y is located at X has the modal force of possibility |
|