| (subclass Reservation Agreement) | Dining.kif 593-593 | |
| (subclass TravelReservation Reservation) | Hotel.kif 2788-2788 | |
| (subclass FlightReservation Reservation) | Hotel.kif 2801-2801 | |
| (subclass TourReservation Reservation) | Hotel.kif 2806-2806 | |
| (subclass HotelReservation Reservation) | Hotel.kif 2811-2811 | |
| (subclass DiningReservation Reservation) | Dining.kif 698-698 |
|
|