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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - includedMeal
includedMeal

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


(documentation includedMeal EnglishLanguage "(includedMeal ?PLAN ?ATTR ?TIME) indicates that the ?ATTR type of Meal is available at ?TIME according to ?PLAN") Hotel.kif 1509-1510
(domain includedMeal 1 MealPlan) Hotel.kif 1513-1513
(domain includedMeal 2 RelationalAttribute) Hotel.kif 1514-1514
(instance includedMeal BinaryPredicate) Hotel.kif 1508-1508

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


(format ChineseLanguage includedMeal "类别 %2 的 meals 是包含在 %1 ") domainEnglishFormat.kif 3691-3691
(format ChineseTraditionalLanguage includedMeal "類別 %2 的 meals 是包含在 %1 ") domainEnglishFormat.kif 3690-3690
(format EnglishLanguage includedMeal "meals of type %2 are includes in %1") domainEnglishFormat.kif 3689-3689
(termFormat EnglishLanguage includedMeal "included meal") Hotel.kif 1511-1511

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

consequent
-------------------------


(=>
    (instance ?X FullBoard)
    (and
        (includedMeal ?X Breakfast)
        (includedMeal ?X Lunch)
        (includedMeal ?X Dinner)))
Hotel.kif 1547-1552
(=>
    (instance ?X HalfBoard)
    (and
        (includedMeal ?X Breakfast)
        (includedMeal ?X Dinner)))
Hotel.kif 1559-1563
(=>
    (instance ?X MealPlanBreakfast)
    (includedMeal ?X Breakfast))
Hotel.kif 1590-1592
(=>
    (instance ?X MealPlanContinental)
    (includedMeal ?X ContinentalBreakfast))
Hotel.kif 1581-1583
(=>
    (instance ?X MealPlanEuropean)
    (not
        (exists (?ATTR)
            (includedMeal ?X ?ATTR))))
Hotel.kif 1570-1574
(=>
    (instance ?X MealPlanModifiedAmerican)
    (and
        (includedMeal ?X Breakfast)
        (or
            (includedMeal ?X Dinner)
            (includedMeal ?X Lunch))))
Hotel.kif 1600-1606


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