includedMeal - Sigma Knowledge base Browser

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	The number 1 argument of included meal is an instance of meal plan
(domain includedMeal 2 RelationalAttribute)	Hotel.kif 1552-1552	The number 2 argument of included meal is an instance of relational attribute
(instance includedMeal BinaryPredicate)	Hotel.kif 1546-1546	included meal is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage includedMeal "类别 %2 的 meals 是包含在 %1 ")	domainEnglishFormat.kif 3680-3680
(format ChineseTraditionalLanguage includedMeal "類別 %2 的 meals 是包含在 %1 ")	domainEnglishFormat.kif 3679-3679
(format EnglishLanguage includedMeal "meals of type %2 are includes in %1")	domainEnglishFormat.kif 3678-3678
(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

If an agent offers items for sale in a meal plan and the meal plan is an instance of meal plan and meals of type a relational attribute are includes in the meal plan and traveler accommodation is an attribute of the agent and a cognitive agent is a guest at the agent and the cognitive agent buys the meal plan from the agent,
then there exists an entity such that there exists another entity such that the relational attribute is an attribute of the other entity and the other entity has the purpose there exists a third entity such that the third entity is an instance of eating and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity holds during the entity holds during the time of existence of the cognitive agent is a guest at the agent

consequent

(=> (instance ?X FullBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Lunch) (includedMeal ?X Dinner)))	Hotel.kif 1585-1590	If a meal plan is an instance of full board, then meals of type breakfast are includes in the meal plan and meals of type lunch are includes in the meal plan and meals of type dinner are includes in the meal plan
(=> (instance ?X HalfBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Dinner)))	Hotel.kif 1597-1601	If a meal plan is an instance of half board, then meals of type breakfast are includes in the meal plan and meals of type dinner are includes in the meal plan
(=> (instance ?X MealPlanBreakfast) (includedMeal ?X Breakfast))	Hotel.kif 1628-1630	If a meal plan is an instance of modified american meal plan, then meals of type breakfast are includes in the meal plan
(=> (instance ?X MealPlanContinental) (includedMeal ?X ContinentalBreakfast))	Hotel.kif 1619-1621	If a meal plan is an instance of continental meal plan, then meals of type continental breakfast are includes in the meal plan
(=> (instance ?X MealPlanEuropean) (not (exists (?ATTR) (includedMeal ?X ?ATTR))))	Hotel.kif 1608-1612	If a meal plan is an instance of european meal plan, then there doesn't exist a relational attribute such that meals of type the relational attribute are includes in the meal plan
(=> (instance ?X MealPlanModifiedAmerican) (and (includedMeal ?X Breakfast) (or (includedMeal ?X Dinner) (includedMeal ?X Lunch))))	Hotel.kif 1638-1644	If a meal plan is an instance of meal plan modified american, then meals of type breakfast are includes in the meal plan and meals of type dinner are includes in the meal plan or meals of type lunch are includes in the meal plan

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

KB Term:			Term intersection

English Word: