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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MealPlan
MealPlan(meal plan)hotel_plan, meal_plan

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


s__documentation(s__MealPlan,s__EnglishLanguage,'"MealPlan refers to the Meal that are included in a particular stay at a TravelerAccommodation"')

Hotel.kif 1517-1518
s__instance(s__MealPlan,s__Class)

s__subclass(s__MealPlan,s__Proposition)

s__instance(s__Proposition,s__Class)

Hotel.kif 1516-1516 Meal plan is a subclass of proposition

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


s__instance(s__FullBoard,s__Class)

s__subclass(s__FullBoard,s__MealPlan)

s__instance(s__MealPlan,s__Class)

Hotel.kif 1555-1555 Full board is a subclass of meal plan
s__subclass(s__HalfBoard,s__MealPlan)

s__instance(s__HalfBoard,s__Class)

s__instance(s__MealPlan,s__Class)

Hotel.kif 1567-1567 Half board is a subclass of meal plan
s__instance(s__MealPlanBreakfast,s__Class)

s__subclass(s__MealPlanBreakfast,s__MealPlan)

s__instance(s__MealPlan,s__Class)

Hotel.kif 1598-1598 Modified american meal plan is a subclass of meal plan
s__subclass(s__MealPlanEuropean,s__MealPlan)

s__instance(s__MealPlan,s__Class)

s__instance(s__MealPlanEuropean,s__Class)

Hotel.kif 1578-1578 European meal plan is a subclass of meal plan
s__subclass(s__MealPlanModifiedAmerican,s__MealPlan)

s__instance(s__MealPlan,s__Class)

s__instance(s__MealPlanModifiedAmerican,s__Class)

Hotel.kif 1607-1607 MealPlanModifiedAmerican is a subclass of meal plan
s__termFormat(s__EnglishLanguage,s__MealPlan,'"meal plan"')

Hotel.kif 1519-1519

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


s__domain(s__includedMeal__m,n__1,s__MealPlan)

Hotel.kif 1526-1526 The number 1 argument of included meal is an instance of meal plan
s__domainSubclass(s__mealPlanInclusion__m,n__2,s__MealPlan)

Hotel.kif 2767-2767 The number 2 argument of meal plan inclusion is a subclass of meal plan

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1533-1553


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