TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Dinner EnglishLanguage "Dinner refers to something that is typically eaten during the evening")	Food.kif 1789-1790
(instance Dinner RelationalAttribute)	Food.kif 1788-1788	Dinner is an instance of relational attribute

appearance as argument number 2

(termFormat EnglishLanguage Dinner "dinner")

Food.kif 1791-1791

antecedent

(=>
    (and
        (instance ?X Meal)
        (attribute ?X Dinner)
        (instance ?E Eating)
        (patient ?E ?X))
    (modalAttribute
        (exists (?TIME)
            (and
                (during
                    (WhenFn ?E) ?TIME)
                (instance ?TIME DinnerTime))) Likely))

Food.kif 1793-1803

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