No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1541-1541 | MealPlan est une sous-classe de proposition |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1580-1580 | FullBoard est une sous-classe de MealPlan |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1592-1592 | HalfBoard est une sous-classe de MealPlan |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1603-1603 | MealPlanEuropean est une sous-classe de MealPlan |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1623-1623 | MealPlanBreakfast est une sous-classe de MealPlan |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1632-1632 | MealPlanModifiedAmerican est une sous-classe de MealPlan |