|
|
   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 est une sous-classe de Agreement |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 744-744 | DiningReservation est une sous-classe de Reservation |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2832-2832 | FlightReservation est une sous-classe de Reservation |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2842-2842 | HotelReservation est une sous-classe de Reservation |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2837-2837 | TourReservation est une sous-classe de Reservation |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2819-2819 | TravelReservation est une sous-classe de Reservation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 643-643 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 687-687 | Le nombre 2 argument de fulfillingEntity est une instance de Reservation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 730-730 | Le nombre 2 argument de numberOfCustomers est une instance de Reservation |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2988-2988 | Le nombre 1 argument de rateDetail est une instance de Reservation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 672-672 | Le nombre 2 argument de reservationChannel est une instance de Reservation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 709-709 | Le nombre 2 argument de reservationEnd est une instance de Reservation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 702-702 | Le nombre 2 argument de reservationStart est une instance de Reservation |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2970-2970 | Le nombre 1 argument de reservedPackage est une instance de Reservation |
| No TPTP formula. May not be expressible in strict first order. | Dining.kif 657-657 | Le nombre 2 argument de reservingEntity est une instance de 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 |
|
|
|