TreeView Knowledge Base Browser - ContinentalBreakfast

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1719-1722
No TPTP formula. May not be expressible in strict first order.	Food.kif 1718-1718	子屬性 ContinentalBreakfast and Breakfast

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Food.kif 1723-1723

antecedent

No TPTP formula. May not be expressible in strict first order.

Food.kif 1725-1729

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1731-1746	例 Collection and Meal 會員 Physical and Collection 例 Physical and 咖啡例 Physical and 茶會員 Physical and Collection 例 Physical and Juice 會員 Physical and Collection 例 Physical and 麵包或餅乾會員 Physical and Collection 例 Physical and 奶油會員 PhysicalA and Collection 例 PhysicalA and Jam attribute Collection and ContinentalBreakfast
No TPTP formula. May not be expressible in strict first order.	Food.kif 1725-1729	attribute Meal and ContinentalBreakfast 等於 ContinentalBreakfast and 對於 Meal 合適的 meal 在北美等於 ContinentalBreakfast and 對於 Meal 合適的 meal 在歐洲
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1619-1621	例 MealPlan and MealPlanContinental 類別 ContinentalBreakfast 的 meals 是包含在 MealPlan