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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MealPlan

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

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


(documentation MealPlan EnglishLanguage "MealPlan refers to the Meal that are included in a particular stay at a TravelerAccommodation") Hotel.kif 1517-1518
(subclass MealPlan Proposition) Hotel.kif 1516-1516 Meal plan is a subclass of proposition

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


(subclass FullBoard MealPlan) Hotel.kif 1555-1555 Full board is a subclass of meal plan
(subclass HalfBoard MealPlan) Hotel.kif 1567-1567 Half board is a subclass of meal plan
(subclass MealPlanBreakfast MealPlan) Hotel.kif 1598-1598 Modified american meal plan is a subclass of meal plan
(subclass MealPlanEuropean MealPlan) Hotel.kif 1578-1578 European meal plan is a subclass of meal plan
(subclass MealPlanModifiedAmerican MealPlan) Hotel.kif 1607-1607 MealPlanModifiedAmerican is a subclass of meal plan
(termFormat EnglishLanguage MealPlan "meal plan") Hotel.kif 1519-1519

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


(domain includedMeal 1 MealPlan) Hotel.kif 1526-1526 The number 1 argument of included meal is an instance of meal plan
(domainSubclass mealPlanInclusion 2 MealPlan) Hotel.kif 2767-2767 The number 2 argument of meal plan inclusion is a subclass of meal plan

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


(=>
    (and
        (offers ?HOTEL ?MP)
        (instance ?MP MealPlan)
        (includedMeal ?MP ?ATTR)
        (attribute ?HOTEL TravelerAccommodation)
        (guest ?GUEST ?HOTEL)
        (buys ?GUEST ?HOTEL ?MP))
    (holdsDuring
        (WhenFn
            (guest ?GUEST ?HOTEL))
        (exists (?TI)
            (holdsDuring ?TI
                (exists (?MEAL)
                    (and
                        (attribute ?MEAL ?ATTR)
                        (hasPurpose ?MEAL
                            (exists (?E)
                                (and
                                    (instance ?E Eating)
                                    (agent ?E ?GUEST)
                                    (patient ?E ?MEAL))))))))))
Hotel.kif 1533-1553


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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