|
|
   HalfBoard
|
|
|
| appearance as argument number 1 |
|
|
| (documentation HalfBoard EnglishLanguage "HalfBoard is an arrangement in which a TravelerAccommodation provides breakfast and dinner, but no meal at lunchtime") | Hotel.kif 1593-1594 | |
| (subclass HalfBoard MealPlan) | Hotel.kif 1592-1592 | Half board is a subclass of meal plan |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HalfBoard "half board") | Hotel.kif 1595-1595 |
| antecedent |
|
|
| (=> (instance ?X HalfBoard) (and (includedMeal ?X Breakfast) (includedMeal ?X Dinner))) |
Hotel.kif 1597-1601 |
|
|
|
|