| 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 是 命题 的 subclass |
| 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 数量 是 PricingScheme 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 335-335 | publishedPrice 的 4 数量 是 PricingScheme 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 457-457 | rentalPrice 的 4 数量 是 PricingScheme 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 400-400 | unitPrice 的 4 数量 是 PricingScheme 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 230-230 | validFor 的 1 数量 是 PricingScheme 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 248-248 | validPaymentType 的 1 数量 是 PricingScheme 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 239-239 | validityPeriod 的 1 数量 是 PricingScheme 的 instance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Catalog.kif 189-195 |
|
|
|