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 は Agreement の subclass では |
appearance as argument number 2 |
![]() |
(subclass DiningReservation Reservation) | Dining.kif 744-744 | DiningReservation は Reservation の subclass では |
(subclass FlightReservation Reservation) | Hotel.kif 2843-2843 | FlightReservation は Reservation の subclass では |
(subclass HotelReservation Reservation) | Hotel.kif 2853-2853 | HotelReservation は Reservation の subclass では |
(subclass TourReservation Reservation) | Hotel.kif 2848-2848 | TourReservation は Reservation の subclass では |
(subclass TravelReservation Reservation) | Hotel.kif 2830-2830 | TravelReservation は Reservation の subclass では |
(termFormat EnglishLanguage Reservation "reservation") | Dining.kif 643-643 | TravelReservation は Reservation の subclass では |
appearance as argument number 3 |
![]() |
(domain fulfillingEntity 2 Reservation) | Dining.kif 687-687 | fulfillingEntity の数値 2 引数は Reservation の instance では |
(domain numberOfCustomers 2 Reservation) | Dining.kif 730-730 | numberOfCustomers の数値 2 引数は Reservation の instance では |
(domain rateDetail 1 Reservation) | Hotel.kif 2999-2999 | rateDetail の数値 1 引数は Reservation の instance では |
(domain reservationChannel 2 Reservation) | Dining.kif 672-672 | reservationChannel の数値 2 引数は Reservation の instance では |
(domain reservationEnd 2 Reservation) | Dining.kif 709-709 | reservationEnd の数値 2 引数は Reservation の instance では |
(domain reservationStart 2 Reservation) | Dining.kif 702-702 | reservationStart の数値 2 引数は Reservation の instance では |
(domain reservedPackage 1 Reservation) | Hotel.kif 2981-2981 | reservedPackage の数値 1 引数は Reservation の instance では |
(domain reservingEntity 2 Reservation) | Dining.kif 657-657 | reservingEntity の数値 2 引数は Reservation の instance では |
antecedent |
![]() |
![]() |
![]() |