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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MealPlan
MealPlan

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 1504-1505
(subclass MealPlan Proposition) Hotel.kif 1503-1503

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


(subclass FullBoard MealPlan) Hotel.kif 1542-1542
(subclass HalfBoard MealPlan) Hotel.kif 1554-1554
(subclass MealPlanBreakfast MealPlan) Hotel.kif 1585-1585
(subclass MealPlanEuropean MealPlan) Hotel.kif 1565-1565
(subclass MealPlanModifiedAmerican MealPlan) Hotel.kif 1594-1594
(termFormat EnglishLanguage MealPlan "meal plan") Hotel.kif 1506-1506

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


(domain includedMeal 1 MealPlan) Hotel.kif 1513-1513
(domainSubclass mealPlanInclusion 2 MealPlan) Hotel.kif 2754-2754

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


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