Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  HotelPackage

Sigma KEE - HotelPackage
HotelPackage(hotel package)package_holiday, package_tour

appearance as argument number 1
-------------------------


(documentation HotelPackage EnglishLanguage "HotelPackage is a type of Proposition initiated by a hotel or travel management company that includes a stay at a hotel as well as other inclusions that take advantage of a hotel's amenities") Hotel.kif 2699-2701
(subclass HotelPackage Proposition) Hotel.kif 2698-2698 Hotel package is a subclass of proposition

appearance as argument number 2
-------------------------


(subclass GolfPackage HotelPackage) Hotel.kif 2774-2774 Golf package is a subclass of hotel package
(termFormat EnglishLanguage HotelPackage "hotel package") Hotel.kif 2702-2702

appearance as argument number 3
-------------------------


(domain accommodationProvider 1 HotelPackage) Hotel.kif 2734-2734 The number 1 argument of accommodations provider is an instance of hotel package
(domain mealPlanInclusion 1 HotelPackage) Hotel.kif 2766-2766 The number 1 argument of meal plan inclusion is an instance of hotel package
(domain physicalInclusion 1 HotelPackage) Hotel.kif 2745-2745 The number 1 argument of physical inclusion is an instance of hotel package
(domain policyInclusion 1 HotelPackage) Hotel.kif 2759-2759 The number 1 argument of policy inclusion is an instance of hotel package
(domain processInclusion 1 HotelPackage) Hotel.kif 2752-2752 The number 1 argument of process inclusion is an instance of hotel package
(domain roomStay 1 HotelPackage) Hotel.kif 2710-2710 The number 1 argument of room stay is an instance of hotel package

antecedent
-------------------------


(=>
    (and
        (propositionOwner ?HP ?AGENT)
        (instance ?HP HotelPackage)
        (accommodationProvider ?HP ?HOTEL)
        (roomStay ?HP ?NUM ?ROOM)
        (part ?ROOM ?HOTEL)
        (buys ?CUST ?AGENT ?HP))
    (exists (?TI)
        (and
            (equal ?TI
                (MeasureFn ?NUM DayDuration))
            (holdsDuring ?TI
                (guest ?CUST ?HOTEL)))))
Hotel.kif 2714-2726
(=>
    (instance ?X HotelPackage)
    (exists (?UNIT ?INT)
        (roomStay ?X ?INT ?UNIT)))
Hotel.kif 2769-2772


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

Show without tree


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