TreeView Knowledge Base Browser

appearance as argument number 1

(documentation reservedRoom EnglishLanguage "(reservedRoom ?RESERVE ?ROOMTYPE) means that the &$HotelUnit ?ROOMTYPE is the requested room type for the hotel stay indicated by HotelReservation ?RESERVE")	Hotel.kif 2943-2945
(domain reservedRoom 1 HotelReservation)	Hotel.kif 2948-2948	reservedRoom 的 1 数量是 HotelReservation 的 instance
(domainSubclass reservedRoom 2 HotelUnit)	Hotel.kif 2949-2949	reservedRoom 的 2 数量是 HotelUnit 的 subclass
(instance reservedRoom BinaryPredicate)	Hotel.kif 2942-2942	reservedRoom 是二元谓语的 instance

appearance as argument number 2

(format ChineseLanguage reservedRoom "%1 是对于 %2 的 reservation ")	domainEnglishFormat.kif 4410-4410
(format ChineseTraditionalLanguage reservedRoom "%1 是對於 %2 的 reservation ")	domainEnglishFormat.kif 4409-4409
(format EnglishLanguage reservedRoom "%1 is a reservation for %2")	domainEnglishFormat.kif 4408-4408
(termFormat EnglishLanguage reservedRoom "reserved room")	Hotel.kif 2946-2946

antecedent

(=>
    (and
        (reservedRoom ?RESERVE ?ROOMTYPE)
        (reservationStart ?RESERVE ?TIME1)
        (reservationEnd ?RESERVE ?TIME2)
        (reservingEntity ?RESERVE ?CUST))
    (modalAttribute
        (holdsDuring
            (TimeIntervalFn ?TIME1 ?TIME2)
            (exists (?X)
                (and
                    (instance ?X ?ROOMTYPE)
                    (stays ?CUST ?X)))) Likely))

Hotel.kif 2951-2963

如果 HotelReservation 是对于有点 HotelUnit 的 reservation 和 Reservation starts 在那个 HotelReservation 和另一个 Reservation ends 在那个 HotelReservation 和那个 HotelReservation reserves 第三 Reservation ，
然后有存在实体这样那个实体是有点 HotelUnit 的 instance 和那个第三 Reservation stays 在那个实体在那个 Reservation 和那个另外 Reservation 间的时段 holdsDuring 的声明 has 容易的语气

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: