Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - includedMeal
includedMeal

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


(instance includedMeal BinaryPredicate) Hotel.kif 1557-1557 included meal is an instance of binary predicate
(documentation includedMeal EnglishLanguage "(includedMeal ?PLAN ?ATTR ?TIME) indicates that the ?ATTR type of Meal is available at ?TIME according to ?PLAN") Hotel.kif 1558-1559 included meal is an instance of binary predicate
(domain includedMeal 1 MealPlan) Hotel.kif 1562-1562 The number 1 argument of included meal is an instance of meal plan
(domain includedMeal 2 RelationalAttribute) Hotel.kif 1563-1563 The number 2 argument of included meal is an instance of relational attribute

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


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

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


(=>
    (instance ?X FullBoard)
    (and
        (includedMeal ?X Breakfast)
        (includedMeal ?X Lunch)
        (includedMeal ?X Dinner)))		 Hotel.kif 1596-1601 If X is an instance of full board, then meals of type breakfast are includes in X, meals of type lunch are includes in X, and meals of type dinner are includes in X
(=>
    (instance ?X HalfBoard)
    (and
        (includedMeal ?X Breakfast)
        (includedMeal ?X Dinner)))		 Hotel.kif 1608-1612 If X is an instance of half board, then meals of type breakfast are includes in X and meals of type dinner are includes in X
(=>
    (instance ?X MealPlanEuropean)
    (not
        (exists (?ATTR)
            (includedMeal ?X ?ATTR))))		 Hotel.kif 1619-1623 If X is an instance of european meal plan, then there doesn't exist Y such that meals of type Y are includes in X
(=>
    (instance ?X MealPlanContinental)
    (includedMeal ?X ContinentalBreakfast))		 Hotel.kif 1630-1632 If X is an instance of continental meal plan, then meals of type continental breakfast are includes in X
(=>
    (instance ?X MealPlanBreakfast)
    (includedMeal ?X Breakfast))		 Hotel.kif 1639-1641 If X is an instance of modified american meal plan, then meals of type breakfast are includes in X
(=>
    (instance ?X MealPlanModifiedAmerican)
    (and
        (includedMeal ?X Breakfast)
        (or
            (includedMeal ?X Dinner)
            (includedMeal ?X Lunch))))		 Hotel.kif 1649-1655 If X is an instance of meal plan modified american, then meals of type breakfast are includes in X and meals of type dinner are includes in X or meals of type lunch are includes in X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners