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	Die Zahl 1 Argument von roomStay ist ein fall von HotelPackage %n{nicht}
(domain roomStay 2 Integer)	Hotel.kif 2738-2738	Die Zahl 2 Argument von roomStay ist ein fall von Integer %n{nicht}
(domainSubclass roomStay 3 HotelUnit)	Hotel.kif 2739-2739	Die Zahl 3 Argument von roomStay ist eine teilkategorie von HotelUnit %n{nicht}
(instance roomStay TernaryPredicate)	Hotel.kif 2731-2731	roomStay ist ein fall von TernaryPredicate %n{nicht}

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

Wenn propositionOwner CognitiveAgent and HotelPackage und ** HotelPackage ist ein fall von HotelPackage %n{nicht} und accommodationProvider ** HotelPackage and Organization und roomStay ** HotelPackage, Integer and ** HotelUnit und Entity ist ein fall von ** HotelUnit %n{nicht} und ** Entity ist ein element von eigentum von ** Organization %n{nicht} und buys ** CognitiveAgent, ** CognitiveAgent and ** HotelPackage,
dann es gibt TimePosition um ** TimePosition ist gleich ** Integer DayDuration(s) %n{nicht} und guest ** ** CognitiveAgent and ** Organization haelt waehrend ** TimePosition %n{nicht}

consequent

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

Hotel.kif 2800-2803

Wenn HotelPackage ist ein fall von HotelPackage %n{nicht},
dann es gibt ** HotelUnit und Integer um roomStay ** HotelPackage, ** Integer and ** HotelUnit

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

KB Term:			Term intersection

English Word: