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 is a subclass of agreement |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 744-744 | Dining reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2832-2832 | Flight reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2842-2842 | Hotel reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2837-2837 | Tour reservation is a subclass of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2819-2819 | Travel reservation is a subclass of 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 | The number 2 argument of fulfilling entity is an instance of reservation |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 730-730 | The number 2 argument of number of customers is an instance of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2988-2988 | 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 672-672 | The number 2 argument of reservation channel is an instance of reservation |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 709-709 | The number 2 argument of reservation end is an instance of reservation |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 702-702 | The number 2 argument of reservation start is an instance of reservation |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2970-2970 | 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 657-657 | The number 2 argument of reserving entity is an instance of reservation |
antecedent |