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 | Il numero 1 argomenti di includedMeal è un istanza di MealPlan |
(domain includedMeal 2 RelationalAttribute) | Hotel.kif 1552-1552 | Il numero 2 argomenti di includedMeal è un istanza di AttributoRelazionale |
(instance includedMeal BinaryPredicate) | Hotel.kif 1546-1546 | includedMeal è un' istanza di PredicatoBinario |
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 |
![]() |
![]() |
![]() |