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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HotelPackage
HotelPackage

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 2686-2688
(subclass HotelPackage Proposition) Hotel.kif 2685-2685

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


(subclass GolfPackage HotelPackage) Hotel.kif 2761-2761
(termFormat EnglishLanguage HotelPackage "hotel package") Hotel.kif 2689-2689

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


(domain accommodationProvider 1 HotelPackage) Hotel.kif 2721-2721
(domain mealPlanInclusion 1 HotelPackage) Hotel.kif 2753-2753
(domain physicalInclusion 1 HotelPackage) Hotel.kif 2732-2732
(domain policyInclusion 1 HotelPackage) Hotel.kif 2746-2746
(domain processInclusion 1 HotelPackage) Hotel.kif 2739-2739
(domain roomStay 1 HotelPackage) Hotel.kif 2697-2697

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 2701-2713
(=>
    (instance ?X HotelPackage)
    (exists (?UNIT ?INT)
        (roomStay ?X ?INT ?UNIT)))
Hotel.kif 2756-2759


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