HotelPackage - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

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 2737-2739
(subclass HotelPackage Proposition)	Hotel.kif 2736-2736	Hotel package is a subclass of proposition

appearance as argument number 2

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

appearance as argument number 3

(domain accommodationProvider 1 HotelPackage)	Hotel.kif 2776-2776	The number 1 argument of accommodations provider is an instance of hotel package
(domain mealPlanInclusion 1 HotelPackage)	Hotel.kif 2808-2808	The number 1 argument of meal plan inclusion is an instance of hotel package
(domain physicalInclusion 1 HotelPackage)	Hotel.kif 2787-2787	The number 1 argument of physical inclusion is an instance of hotel package
(domain policyInclusion 1 HotelPackage)	Hotel.kif 2801-2801	The number 1 argument of policy inclusion is an instance of hotel package
(domain processInclusion 1 HotelPackage)	Hotel.kif 2794-2794	The number 1 argument of process inclusion is an instance of hotel package
(domain roomStay 1 HotelPackage)	Hotel.kif 2748-2748	The number 1 argument of room stay is an instance of hotel package

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 duration such that equal the time duration and the integer day duration(s) and the other cognitive agent is a guest at the organization holds during the time duration
(=> (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