Reservation
|
|
appearance as argument number 1 |
(documentation Reservation EnglishLanguage "a Reservation is a type of Agreement between 2 agents that some resource offered by the one agent is allotted for use or consumption by another at a specific bounded time") | Dining.kif 640-642 | |
(subclass Reservation Agreement) | Dining.kif 639-639 | Reservation est une sous-classe de Agreement |
appearance as argument number 2 |
(subclass DiningReservation Reservation) | Dining.kif 744-744 | DiningReservation est une sous-classe de Reservation |
(subclass FlightReservation Reservation) | Hotel.kif 2832-2832 | FlightReservation est une sous-classe de Reservation |
(subclass HotelReservation Reservation) | Hotel.kif 2842-2842 | HotelReservation est une sous-classe de Reservation |
(subclass TourReservation Reservation) | Hotel.kif 2837-2837 | TourReservation est une sous-classe de Reservation |
(subclass TravelReservation Reservation) | Hotel.kif 2819-2819 | TravelReservation est une sous-classe de Reservation |
(termFormat EnglishLanguage Reservation "reservation") | Dining.kif 643-643 |
appearance as argument number 3 |
antecedent |