HotelPackage(hotel package) | ![]() | package_holiday, package_tour |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2737-2739 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2736-2736 | Hotel package is a subclass of proposition |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2816-2816 | Golf package is a subclass of hotel package |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2740-2740 | Golf package is a subclass of hotel package |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2776-2776 | The number 1 argument of accommodations provider is an instance of hotel package |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2808-2808 | The number 1 argument of meal plan inclusion is an instance of hotel package |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2787-2787 | The number 1 argument of physical inclusion is an instance of hotel package |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2801-2801 | The number 1 argument of policy inclusion is an instance of hotel package |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2794-2794 | The number 1 argument of process inclusion is an instance of hotel package |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2748-2748 | The number 1 argument of room stay is an instance of hotel package |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2755-2768 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2811-2814 |
|
![]() |
![]() |