Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| mealPlanInclusion |
| appearance as argument number 1 |
|
| (instance mealPlanInclusion BinaryPredicate) | Hotel.kif 2811-2811 | meal plan inclusion is an instance of binary predicate |
| (documentation mealPlanInclusion EnglishLanguage "(mealPlanInclusion ?PKG ?PLAN) means that the conditions in MealPlan ?PLAN is applicable to the consumer of the HotelPackage") | Hotel.kif 2812-2813 | meal plan inclusion is an instance of binary predicate |
| (domain mealPlanInclusion 1 HotelPackage) | Hotel.kif 2815-2815 | The number 1 argument of meal plan inclusion is an instance of hotel package |
| (domainSubclass mealPlanInclusion 2 MealPlan) | Hotel.kif 2816-2816 | The number 2 argument of meal plan inclusion is a subclass of meal plan |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage mealPlanInclusion "meal plan inclusion") | Hotel.kif 2814-2814 | |
| (format EnglishLanguage mealPlanInclusion "%2 is the meal plan for %1") | domainEnglishFormat.kif 3838-3838 | |
| (format ChineseTraditionalLanguage mealPlanInclusion "%2 是對於 %1 的 meal plan ") | domainEnglishFormat.kif 3839-3839 | |
| (format ChineseLanguage mealPlanInclusion "%2 是对于 %1 的 meal plan ") | domainEnglishFormat.kif 3840-3840 |
|