Reservation(reservation) | ![]() | booking, reservation |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 594-596 | |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 593-593 | Reservation is a subclass of agreement |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 698-698 | Dining reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2801-2801 | Flight reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2811-2811 | Hotel reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2806-2806 | Tour reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2788-2788 | Travel reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 597-597 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 641-641 | The number 2 argument of fulfillingEntity is an instance of reservation |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 684-684 | The number 2 argument of numberOfCustomers is an instance of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2956-2956 | The number 1 argument of rate detail is an instance of reservation |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 626-626 | The number 2 argument of reservationChannel is an instance of reservation |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 663-663 | The number 2 argument of reservationEnd is an instance of reservation |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 656-656 | The number 2 argument of reservationStart is an instance of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2938-2938 | The number 1 argument of reserved package is an instance of reservation |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 611-611 | The number 2 argument of reservingEntity is an instance of reservation |
antecedent |
![]() |
![]() |
![]() |