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

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

If a cognitive agent authored a hotel package and the hotel package is an instance of hotel package and an organization provides the hotel package and the hotel package specifies an integer days stay at a kind of hotel unit and an entity is an instance of a kind of hotel unit and the entity is an element of belongings of the organization and another cognitive agent buys the hotel package from the cognitive agent,
then there exists a time position such that the time position is equal to the integer day duration(s) and the other cognitive agent is a guest at the organization holds during the time position

consequent

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

Hotel.kif 2811-2814

If a hotel package is an instance of hotel package,
then there exist a kind of hotel unit and an integer such that the hotel package specifies the integer days stay at a kind of hotel unit

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: