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 | Die Zahl 1 Argument von includedMeal ist ein fall von MealPlan %n{nicht} |
(domain includedMeal 2 RelationalAttribute) | Hotel.kif 1552-1552 | Die Zahl 2 Argument von includedMeal ist ein fall von RelationalAttribute %n{nicht} |
(instance includedMeal BinaryPredicate) | Hotel.kif 1546-1546 | includedMeal ist ein fall von BinaryPredicate %n{nicht} |
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 |
consequent |