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 1547-1548
(domain includedMeal 1 MealPlan) Hotel.kif 1551-1551 includedMeal 的 1 数量 是 MealPlaninstance
(domain includedMeal 2 RelationalAttribute) Hotel.kif 1552-1552 includedMeal 的 2 数量 是 关联属性instance
(instance includedMeal BinaryPredicate) Hotel.kif 1546-1546 includedMeal二元谓语instance

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


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

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

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


(=>
    (instance ?X FullBoard)
    (and
        (includedMeal ?X Breakfast)
        (includedMeal ?X Lunch)
        (includedMeal ?X Dinner)))
Hotel.kif 1585-1590
(=>
    (instance ?X HalfBoard)
    (and
        (includedMeal ?X Breakfast)
        (includedMeal ?X Dinner)))
Hotel.kif 1597-1601
(=>
    (instance ?X MealPlanBreakfast)
    (includedMeal ?X Breakfast))
Hotel.kif 1628-1630
(=>
    (instance ?X MealPlanContinental)
    (includedMeal ?X ContinentalBreakfast))
Hotel.kif 1619-1621
(=>
    (instance ?X MealPlanEuropean)
    (not
        (exists (?ATTR)
            (includedMeal ?X ?ATTR))))
Hotel.kif 1608-1612
(=>
    (instance ?X MealPlanModifiedAmerican)
    (and
        (includedMeal ?X Breakfast)
        (or
            (includedMeal ?X Dinner)
            (includedMeal ?X Lunch))))
Hotel.kif 1638-1644


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