(subclass Reservation Agreement) | Dining.kif 639-639 | Reservation is a subclass of agreement |
(subclass TravelReservation Reservation) | Hotel.kif 2830-2830 | Travel reservation is a subclass of reservation |
(subclass FlightReservation Reservation) | Hotel.kif 2843-2843 | Flight reservation is a subclass of reservation |
(subclass TourReservation Reservation) | Hotel.kif 2848-2848 | Tour reservation is a subclass of reservation |
(subclass HotelReservation Reservation) | Hotel.kif 2853-2853 | Hotel reservation is a subclass of reservation |
(subclass DiningReservation Reservation) | Dining.kif 744-744 | Dining reservation is a subclass of reservation |
![]() |