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 121-122 | |
(subclass HotelRoom HotelUnit) | Hotel.kif 120-120 | HotelRoom è una sottoclasse di HotelUnit |
(subclass HotelRoom Room) | Hotel.kif 119-119 | HotelRoom è una sottoclasse di Stanza |
appearance as argument number 2 |
(termFormat EnglishLanguage HotelRoom "hotel room") | Hotel.kif 123-123 |
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 1127-1140 |
|
(=> (instance ?ROOM HotelRoom) (exists (?BLDG) (and (instance ?BLDG HotelBuilding) (part ?ROOM ?BLDG)))) |
Hotel.kif 125-130 |
consequent |