TreeView Knowledge Base Browser

appearance as argument number 1

(documentation roomStay EnglishLanguage "(roomStay ?PACKAGE ?QTY ?ROOM) means that the package includes a ?QTY number of days stay at room type ?ROOM at the TravelerAccommodation")	Hotel.kif 2743-2745
(domain roomStay 1 HotelPackage)	Hotel.kif 2748-2748
(domain roomStay 2 Integer)	Hotel.kif 2749-2749
(domainSubclass roomStay 3 HotelUnit)	Hotel.kif 2750-2750
(instance roomStay TernaryPredicate)	Hotel.kif 2742-2742

appearance as argument number 2

(format ChineseLanguage roomStay "%1 指定 %2 天数 stay 在 %3 ")	domainEnglishFormat.kif 4454-4454
(format ChineseTraditionalLanguage roomStay "%1 指定 %2 天數 stay 在 %3 ")	domainEnglishFormat.kif 4453-4453
(format EnglishLanguage roomStay "%1 specifies %2 days stay at %3")	domainEnglishFormat.kif 4452-4452
(termFormat EnglishLanguage roomStay "room stay")	Hotel.kif 2746-2746

antecedent

(=>
    (and
        (propositionOwner ?AGENT ?HP)
        (instance ?HP HotelPackage)
        (accommodationProvider ?HP ?HOTEL)
        (roomStay ?HP ?NUM ?ROOM)
        (instance ?R ?ROOM)
        (element ?R
            (PropertyFn ?HOTEL))
        (buys ?CUST ?AGENT ?HP))
    (exists (?TI)
        (and
            (equal ?TI
                (MeasureFn ?NUM DayDuration))
            (holdsDuring ?TI
                (guest ?CUST ?HOTEL)))))

Hotel.kif 2755-2768

consequent

(=>
    (instance ?X HotelPackage)
    (exists (?UNIT ?INT)
        (roomStay ?X ?INT ?UNIT)))

Hotel.kif 2811-2814

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

KB Term:			Term intersection

English Word: