|
|
   HotelPackage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2726-2728 | |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2725-2725 | HotelPackage est une sous-classe de proposition |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2805-2805 | GolfPackage est une sous-classe de HotelPackage |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2729-2729 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2765-2765 | Le nombre 1 argument de accommodationProvider est une instance de HotelPackage |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2797-2797 | Le nombre 1 argument de mealPlanInclusion est une instance de HotelPackage |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2776-2776 | Le nombre 1 argument de physicalInclusion est une instance de HotelPackage |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2790-2790 | Le nombre 1 argument de policyInclusion est une instance de HotelPackage |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2783-2783 | Le nombre 1 argument de processInclusion est une instance de HotelPackage |
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2737-2737 | Le nombre 1 argument de roomStay est une instance de HotelPackage |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2744-2757 |
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2800-2803 |
|
|
|
|