| (subclass Reservation Agreement) | Dining.kif 639-639 | Reservation ist eine teilkategorie von Agreement |
| (subclass TravelReservation Reservation) | Hotel.kif 2819-2819 | TravelReservation ist eine teilkategorie von Reservation |
| (subclass FlightReservation Reservation) | Hotel.kif 2832-2832 | FlightReservation ist eine teilkategorie von Reservation |
| (subclass TourReservation Reservation) | Hotel.kif 2837-2837 | TourReservation ist eine teilkategorie von Reservation |
| (subclass HotelReservation Reservation) | Hotel.kif 2842-2842 | HotelReservation ist eine teilkategorie von Reservation |
| (subclass DiningReservation Reservation) | Dining.kif 744-744 | DiningReservation ist eine teilkategorie von Reservation |
|
|