PricingScheme
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 185-186 | |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 184-184 | 子類 PricingScheme and Proposition |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 187-187 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 256-256 | 域 pricePolicy, 1 and PricingScheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 335-335 | 域 publishedPrice, 4 and PricingScheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 457-457 | 域 rentalPrice, 4 and PricingScheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 400-400 | 域 unitPrice, 4 and PricingScheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 230-230 | 域 validFor, 1 and PricingScheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 248-248 | 域 validPaymentType, 1 and PricingScheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 239-239 | 域 validityPeriod, 1 and PricingScheme |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 189-195 |
|