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
-------------------------


s__documentation(s__HotelPackage,s__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 hotels amenities"')

Hotel.kif 2672-2674
s__subclass(s__HotelPackage,s__Proposition)

s__instance(s__HotelPackage,s__SetOrClass)

s__instance(s__Proposition,s__SetOrClass)

Hotel.kif 2671-2671 Hotel package is a subclass of proposition

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


s__instance(s__HotelPackage,s__SetOrClass)

s__instance(s__GolfPackage,s__SetOrClass)

s__subclass(s__GolfPackage,s__HotelPackage)

Hotel.kif 2747-2747 Golf package is a subclass of hotel package
s__termFormat(s__EnglishLanguage,s__HotelPackage,'"hotel package"')

Hotel.kif 2675-2675

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


s__domain(s__accommodationProvider__m,n__1,s__HotelPackage)

Hotel.kif 2707-2707 The number 1 argument of accommodations provider is an instance of hotel package
s__domain(s__mealPlanInclusion__m,n__1,s__HotelPackage)

Hotel.kif 2739-2739 The number 1 argument of meal plan inclusion is an instance of hotel package
s__domain(s__physicalInclusion__m,n__1,s__HotelPackage)

Hotel.kif 2718-2718 The number 1 argument of physical inclusion is an instance of hotel package
s__domain(s__policyInclusion__m,n__1,s__HotelPackage)

Hotel.kif 2732-2732 The number 1 argument of policy inclusion is an instance of hotel package
s__domain(s__processInclusion__m,n__1,s__HotelPackage)

Hotel.kif 2725-2725 The number 1 argument of process inclusion is an instance of hotel package
s__domain(s__roomStay__m,n__1,s__HotelPackage)

Hotel.kif 2683-2683 The number 1 argument of room stay is an instance of hotel package

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 2687-2699
( ! [V__X] :
   (s__instance(V__X,s__HotelPackage) =>
     ( ? [V__UNIT, V__INT] :
       ((s__subclass(V__UNIT,s__HotelUnit) &
           s__instance(V__INT,s__Integer) &
           s__roomStay(V__X,V__INT,V__UNIT))))
   )
)

Hotel.kif 2742-2745


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners