(subclass Reservation Agreement) | Dining.kif 639-639 | Reservation は Agreement の subclass では %n |
(subclass TravelReservation Reservation) | Hotel.kif 2819-2819 | TravelReservation は Reservation の subclass では %n |
(subclass FlightReservation Reservation) | Hotel.kif 2832-2832 | FlightReservation は Reservation の subclass では %n |
(subclass TourReservation Reservation) | Hotel.kif 2837-2837 | TourReservation は Reservation の subclass では %n |
(subclass HotelReservation Reservation) | Hotel.kif 2842-2842 | HotelReservation は Reservation の subclass では %n |
(subclass DiningReservation Reservation) | Dining.kif 744-744 | DiningReservation は Reservation の subclass では %n |