reservedRoom - Sigma 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 2885-2887
(domain reservedRoom 1 HotelReservation)	Hotel.kif 2890-2890	The number 1 argument of reserved room is an instance of hotel reservation
(domainSubclass reservedRoom 2 HotelUnit)	Hotel.kif 2891-2891	The number 2 argument of reserved room is a subclass of hotel unit
(instance reservedRoom BinaryPredicate)	Hotel.kif 2884-2884	reserved room is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage reservedRoom "%1 是对于 %2 的 reservation ")	domainEnglishFormat.kif 4419-4419
(format ChineseTraditionalLanguage reservedRoom "%1 是對於 %2 的 reservation ")	domainEnglishFormat.kif 4418-4418
(format EnglishLanguage reservedRoom "%1 is a reservation for %2")	domainEnglishFormat.kif 4417-4417
(termFormat EnglishLanguage reservedRoom "reserved room")	Hotel.kif 2888-2888

antecedent

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

Hotel.kif 2893-2904