TreeView Knowledge Base Browser

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