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 2732-2734
(domain roomStay 1 HotelPackage)	Hotel.kif 2737-2737	Le nombre 1 argument de roomStay est une instance de HotelPackage
(domain roomStay 2 Integer)	Hotel.kif 2738-2738	Le nombre 2 argument de roomStay est une instance de nombre entier
(domainSubclass roomStay 3 HotelUnit)	Hotel.kif 2739-2739	Le nombre 3 argument de roomStay est une sous-classe de HotelUnit
(instance roomStay TernaryPredicate)	Hotel.kif 2731-2731	roomStay est une instance de pr�dicat ternaire

appearance as argument number 2

(format ChineseLanguage roomStay "%1 指定 %2 天数 stay 在 %3 ")	domainEnglishFormat.kif 4450-4450
(format ChineseTraditionalLanguage roomStay "%1 指定 %2 天數 stay 在 %3 ")	domainEnglishFormat.kif 4449-4449
(format EnglishLanguage roomStay "%1 specifies %2 days stay at %3")	domainEnglishFormat.kif 4448-4448
(termFormat EnglishLanguage roomStay "room stay")	Hotel.kif 2735-2735

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 2744-2757

propositionOwner agent cognitif and HotelPackage HotelPackage est une instance de HotelPackage accommodationProvider HotelPackage and organisation roomStay HotelPackage, nombre entier and HotelUnit entit� est une instance de HotelUnit entit� est un appartenir � organisation buys agent cognitif, agent cognitif and HotelPackage
position temporel position temporel est nombre entier DayDuration(s) guest agent cognitif and organisation pendant position temporel

consequent

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

Hotel.kif 2800-2803

HotelPackage est une instance de HotelPackage
HotelUnit nombre entier roomStay HotelPackage, nombre entier and HotelUnit

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

KB Term:			Term intersection

English Word: