TreeView Knowledge Base Browser

appearance as argument number 1

(instance reservedPackage BinaryPredicate)	Hotel.kif 2983-2983	reserved package is an instance of binary predicate
(documentation reservedPackage EnglishLanguage "(reservedPackage ?RESERVE ?PACKAGE) means that the customer has reserved for the HotelPackage ?PACKAGE")	Hotel.kif 2984-2985	reserved package is an instance of binary predicate
(domain reservedPackage 1 Reservation)	Hotel.kif 2988-2988	The number 1 argument of reserved package is an instance of reservation
(domain reservedPackage 2 Proposition)	Hotel.kif 2989-2989	The number 2 argument of reserved package is an instance of proposition

appearance as argument number 2

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

antecedent

(=>
    (and
        (reservedPackage ?RESERVE ?PACKAGE)
        (reservingEntity ?RESERVE ?CUST))
    (modalAttribute
        (exists (?PROC)
            (and
                (realization ?PROC ?PACKAGE)
                (experiencer ?PROC ?CUST))) Likely))

Hotel.kif 2991-2999

If X is a reservation for Y and X reserves Z, then the statement there exists W such that W expresses the content of Y and Z experiences 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: