HotelUnit |
appearance as argument number 1 |
![]() |
(documentation HotelUnit EnglishLanguage "HotelUnit describes the basic unit that a traveler sleeps in when he is in TravelerAccomodation. It can be a Room or a detached Building") | Hotel.kif 91-93 | |
(subclass HotelUnit StationaryArtifact) | Hotel.kif 89-89 | HotelUnit は 固定アーチファクト の subclass では |
(subclass HotelUnit TemporaryResidence) | Hotel.kif 90-90 | HotelUnit は TemporaryResidence の subclass では |
appearance as argument number 2 |
![]() |
(subclass HotelRoom HotelUnit) | Hotel.kif 120-120 | HotelRoom は HotelUnit の subclass では |
(subclass HotelVilla HotelUnit) | Hotel.kif 133-133 | HotelVilla は HotelUnit の subclass では |
(termFormat EnglishLanguage HotelUnit "hotel unit") | Hotel.kif 94-94 | HotelVilla は HotelUnit の subclass では |
appearance as argument number 3 |
![]() |
(domainSubclass freeRoomAmenity 1 HotelUnit) | Hotel.kif 336-336 | freeRoomAmenity の数値 1 引数は HotelUnit のsubclass では |
(domainSubclass paidRoomAmenity 1 HotelUnit) | Hotel.kif 382-382 | paidRoomAmenity の数値 1 引数は HotelUnit のsubclass では |
(domainSubclass reservedRoom 2 HotelUnit) | Hotel.kif 2960-2960 | reservedRoom の数値 2 引数は HotelUnit のsubclass では |
(domainSubclass roomAmenity 1 HotelUnit) | Hotel.kif 278-278 | roomAmenity の数値 1 引数は HotelUnit のsubclass では |
(domainSubclass roomAttribute 1 HotelUnit) | Hotel.kif 460-460 | roomAttribute の数値 1 引数は HotelUnit のsubclass では |
(domainSubclass roomPolicy 1 HotelUnit) | Hotel.kif 445-445 | roomPolicy の数値 1 引数は HotelUnit のsubclass では |
(domainSubclass roomStay 3 HotelUnit) | Hotel.kif 2750-2750 | roomStay の数値 3 引数は HotelUnit のsubclass では |
antecedent |
![]() |
(=> (and (attribute ?ROOM Oversized) (immediateInstance ?ROOM ?HOTELUNIT) (subclass ?HOTELUNIT HotelUnit)) (exists (?NORMAL ?AREA1 ?AREA2 ?U) (and (immediateInstance ?NORMAL ?HOTELUNIT) (instance ?U UnitOfArea) (measure ?NORMAL (MeasureFn ?AREA1 ?U)) (measure ?ROOM (MeasureFn ?AREA2 ?U)) (instance ?AREA1 AreaMeasure) (instance ?AREA2 AreaMeasure) (greaterThan ?AREA2 ?AREA1)))) |
Hotel.kif 1194-1209 |
|
(=> (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 1011-1022 | |
(=> (and (rents ?GUEST ?HOTEL ?ROOM ?TI) (attribute ?HOTEL TravelerAccommodation) (instance ?ROOM HotelUnit)) (holdsDuring ?TI (guest ?GUEST ?HOTEL))) |
Hotel.kif 69-75 |
|
(=> (instance ?ROOM HotelUnit) (exists (?BED) (and (instance ?BED Bed) (located ?BED ?ROOM)))) |
Hotel.kif 96-101 | |
(=> (instance ?ROOM HotelUnit) (exists (?HOTEL) (and (attribute ?HOTEL TravelerAccommodation) (element ?ROOM (PropertyFn ?HOTEL))))) |
Hotel.kif 103-108 | |
(=> (instance ?ROOM HotelUnit) (hasPurpose ?ROOM (exists (?AGENT ?CUST ?TI) (and (not (equal ?AGENT ?CUST)) (element ?ROOM (PropertyFn ?AGENT)) (rents ?CUST ?AGENT ?ROOM ?TI))))) |
Hotel.kif 110-117 |
consequent |
![]() |
![]() |
![]() |