| Reservation | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 640-642 | |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 639-639 | 子類 Reservation and 協議 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 744-744 | 子類 DiningReservation and Reservation |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2832-2832 | 子類 FlightReservation and Reservation |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2842-2842 | 子類 HotelReservation and Reservation |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2837-2837 | 子類 TourReservation and Reservation |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2819-2819 | 子類 TravelReservation and Reservation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 643-643 | 子類 TravelReservation and Reservation |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 687-687 | 域 fulfillingEntity, 2 and Reservation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 730-730 | 域 numberOfCustomers, 2 and Reservation |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2988-2988 | 域 rateDetail, 1 and Reservation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 672-672 | 域 reservationChannel, 2 and Reservation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 709-709 | 域 reservationEnd, 2 and Reservation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 702-702 | 域 reservationStart, 2 and Reservation |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2970-2970 | 域 reservedPackage, 1 and Reservation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 657-657 | 域 reservingEntity, 2 and Reservation |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 772-795 |
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 645-650 |
|
|
|