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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MealPlan

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 1542-1543
(subclass MealPlan Proposition) Hotel.kif 1541-1541 MealPlan ist eine teilkategorie von Proposition

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


(subclass FullBoard MealPlan) Hotel.kif 1580-1580 FullBoard ist eine teilkategorie von MealPlan
(subclass HalfBoard MealPlan) Hotel.kif 1592-1592 HalfBoard ist eine teilkategorie von MealPlan
(subclass MealPlanBreakfast MealPlan) Hotel.kif 1623-1623 MealPlanBreakfast ist eine teilkategorie von MealPlan
(subclass MealPlanEuropean MealPlan) Hotel.kif 1603-1603 MealPlanEuropean ist eine teilkategorie von MealPlan
(subclass MealPlanModifiedAmerican MealPlan) Hotel.kif 1632-1632 MealPlanModifiedAmerican ist eine teilkategorie von MealPlan
(termFormat EnglishLanguage MealPlan "meal plan") Hotel.kif 1544-1544

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


(domain includedMeal 1 MealPlan) Hotel.kif 1551-1551 Die Zahl 1 Argument von includedMeal ist ein fall von MealPlan %n{nicht}
(domainSubclass mealPlanInclusion 2 MealPlan) Hotel.kif 2798-2798 Die Zahl 2 Argument von mealPlanInclusion ist eine teilkategorie von MealPlan %n{nicht}

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


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