Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  AnnexRoom
|
|
|
| appearance as argument number 1 |
|
|
| (instance AnnexRoom HotelRoomAttribute) | Hotel.kif 1129-1129 | Annex room is an instance of hotel room attribute |
| (documentation AnnexRoom EnglishLanguage "AnnexRoom is a HotelRoom that is not located in the main building of a hotel, or the building of the hotel that has the HotelFrontDesk") | Hotel.kif 1130-1132 | Annex room is an instance of hotel room attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage AnnexRoom "annex room") | Hotel.kif 1133-1133 |
| antecedent |
|
|
| (=> (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 1135-1148 | If X is an element of belongings of Y, annex room is an attribute of X, and X is an instance of hotel room, then All of the following hold: (1) there exist Z, W (2) V such that V is a part of the organization Y (3) V is an instance of front desk (4) V is located at Z (5) Z is an element of belongings of Y (6) W is an element of belongings of Y (7) X is a part of W (8) equal Z (9) W |
|