TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2794-2795
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2797-2797	Le nombre 1 argument de mealPlanInclusion est une instance de HotelPackage
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2798-2798	Le nombre 2 argument de mealPlanInclusion est une sous-classe de MealPlan
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2793-2793	mealPlanInclusion est une instance de pr�dicat binaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3842-3842
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3841-3841
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3840-3840
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2796-2796