TreeView Knowledge Base Browser

appearance as argument number 1

(instance roomStay TernaryPredicate)	Hotel.kif 2749-2749	room stay is an instance of ternary predicate
(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 2750-2752	room stay is an instance of ternary predicate
(domain roomStay 1 HotelPackage)	Hotel.kif 2755-2755	The number 1 argument of room stay is an instance of hotel package
(domain roomStay 2 Integer)	Hotel.kif 2756-2756	The number 2 argument of room stay is an instance of integer
(domainSubclass roomStay 3 HotelUnit)	Hotel.kif 2757-2757	The number 3 argument of room stay is a subclass of hotel unit

appearance as argument number 2

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

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 2762-2775

If All of the following hold: (1) X authored Y (2) Y is an instance of hotel package (3) Z provides Y (4) Y specifies W days stay at V (5) U is an instance of V (6) U is an element of belongings of Z (7) T buys Y from X, then there exists S such that equal S and W day duration(s) and T is a guest at Z holds during S

consequent

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

Hotel.kif 2818-2821

If X is an instance of hotel package, then there exist Y and Z such that X specifies Z days stay at Y

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

KB Term:			Term intersection

English Word: