| 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 ist eine teilkategorie von Agreement |
| appearance as argument number 2 |
|
|
| (subclass DiningReservation Reservation) | Dining.kif 744-744 | DiningReservation ist eine teilkategorie von Reservation |
| (subclass FlightReservation Reservation) | Hotel.kif 2832-2832 | FlightReservation ist eine teilkategorie von Reservation |
| (subclass HotelReservation Reservation) | Hotel.kif 2842-2842 | HotelReservation ist eine teilkategorie von Reservation |
| (subclass TourReservation Reservation) | Hotel.kif 2837-2837 | TourReservation ist eine teilkategorie von Reservation |
| (subclass TravelReservation Reservation) | Hotel.kif 2819-2819 | TravelReservation ist eine teilkategorie von Reservation |
| (termFormat EnglishLanguage Reservation "reservation") | Dining.kif 643-643 |
| appearance as argument number 3 |
|
|
| (domain fulfillingEntity 2 Reservation) | Dining.kif 687-687 | Die Zahl 2 Argument von fulfillingEntity ist ein fall von Reservation %n{nicht} |
| (domain numberOfCustomers 2 Reservation) | Dining.kif 730-730 | Die Zahl 2 Argument von numberOfCustomers ist ein fall von Reservation %n{nicht} |
| (domain rateDetail 1 Reservation) | Hotel.kif 2988-2988 | Die Zahl 1 Argument von rateDetail ist ein fall von Reservation %n{nicht} |
| (domain reservationChannel 2 Reservation) | Dining.kif 672-672 | Die Zahl 2 Argument von reservationChannel ist ein fall von Reservation %n{nicht} |
| (domain reservationEnd 2 Reservation) | Dining.kif 709-709 | Die Zahl 2 Argument von reservationEnd ist ein fall von Reservation %n{nicht} |
| (domain reservationStart 2 Reservation) | Dining.kif 702-702 | Die Zahl 2 Argument von reservationStart ist ein fall von Reservation %n{nicht} |
| (domain reservedPackage 1 Reservation) | Hotel.kif 2970-2970 | Die Zahl 1 Argument von reservedPackage ist ein fall von Reservation %n{nicht} |
| (domain reservingEntity 2 Reservation) | Dining.kif 657-657 | Die Zahl 2 Argument von reservingEntity ist ein fall von Reservation %n{nicht} |
| antecedent |
|
|
|
|
|