| HotelRoom | |
| appearance as argument number 1 |
|
|
| (documentation HotelRoom EnglishLanguage "HotelRoom refers to a Room that is part of a HotelBuilding that serves as a TemporaryResidence for travelers") | Hotel.kif 116-117 | |
| (subclass HotelRoom HotelUnit) | Hotel.kif 115-115 | |
| (subclass HotelRoom Room) | Hotel.kif 114-114 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotelRoom "hotel room") | Hotel.kif 118-118 |
| 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 1105-1118 | |
| (=> (instance ?ROOM HotelRoom) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?ROOM ?BLDG)))) |
Hotel.kif 120-125 |
| consequent |
|
|
| (=> (and (attribute ?X Suite) (instance ?X HotelUnit)) (exists (?R1 ?R2) (and (instance ?R1 HotelRoom) (instance ?R2 HotelRoom) (orientation ?R1 ?X Inside) (orientation ?R2 ?X Inside) (not (equal ?R1 ?R2))))) |
Hotel.kif 981-992 | |
| (=> (attribute ?X ExclusiveFemaleLevel) (forall (?Y) (=> (and (instance ?Y HotelRoom) (located ?Y ?X)) (hasPurpose ?Y (exists (?HUMAN) (and (attribute ?HUMAN Female) (stays ?HUMAN ?Y))))))) |
Hotel.kif 1221-1232 | |
| (=> (attribute ?X ExecutiveLevel) (forall (?Y) (=> (and (instance ?Y HotelRoom) (located ?Y ?X)) (hasPurpose ?Y (exists (?HUMAN) (and (attribute ?HUMAN BusinessExecutive) (instance ?HUMAN Human) (stays ?HUMAN ?Y))))))) |
Hotel.kif 1202-1214 | |
| (=> (instance ?HOTEL HotelBuilding) (exists (?ROOM) (and (instance ?ROOM HotelRoom) (properPart ?ROOM ?HOTEL)))) |
Hotel.kif 77-82 |
|
|
|