MealPlanModifiedAmerican - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - MealPlanModifiedAmerican

MealPlanModifiedAmerican(meal plan modified american)

appearance as argument number 1

(documentation MealPlanModifiedAmerican EnglishLanguage "MealPlanModifiedAmerican is an arrangement in which a TravelerAccommodation provides 2 Meal, Breakfast and either &Lunch or Dinner")	Hotel.kif 1633-1635
(subclass MealPlanModifiedAmerican MealPlan)	Hotel.kif 1632-1632	Meal plan modified american is a subclass of meal plan

appearance as argument number 2

(termFormat EnglishLanguage MealPlanModifiedAmerican "meal plan modified american")

domainEnglishFormat.kif 65206-65206

antecedent

(=>
    (instance ?X MealPlanModifiedAmerican)
    (and
        (includedMeal ?X Breakfast)
        (or
            (includedMeal ?X Dinner)
            (includedMeal ?X Lunch))))

Hotel.kif 1638-1644

If a meal plan is an instance of meal plan modified american,
then meals of type breakfast are includes in the meal plan and meals of type dinner are includes in the meal plan or meals of type lunch are includes in the meal plan

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