TreeView Knowledge Base Browser

appearance as argument number 2

(termFormat EnglishLanguage reservedRoom "reserved room")	Hotel.kif 2964-2964
(format EnglishLanguage reservedRoom "%1 is a reservation for %2")	domainEnglishFormat.kif 4412-4412
(format ChineseTraditionalLanguage reservedRoom "%1 是對於 %2 的 reservation ")	domainEnglishFormat.kif 4413-4413
(format ChineseLanguage reservedRoom "%1 是对于 %2 的 reservation ")	domainEnglishFormat.kif 4414-4414

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 2969-2981

If X is a reservation for Y, Z starts at X, W ends at X, and X reserves V, then the statement there exists U such that U is an instance of Y, V stays at U holds during interval between Z, and W has the modal force of likely

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

KB Term:			Term intersection

English Word: