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 是 命题 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2805-2805 | GolfPackage 是 HotelPackage 的 subclass |
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 | accommodationProvider 的 1 数量 是 HotelPackage 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2797-2797 | mealPlanInclusion 的 1 数量 是 HotelPackage 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2776-2776 | physicalInclusion 的 1 数量 是 HotelPackage 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2790-2790 | policyInclusion 的 1 数量 是 HotelPackage 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2783-2783 | processInclusion 的 1 数量 是 HotelPackage 的 instance |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2737-2737 | roomStay 的 1 数量 是 HotelPackage 的 instance |
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 |
|