PricingScheme(pricing scheme) | pricing_system |
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 | Pricing scheme is a subclass of 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 | The number 1 argument of rate policy is an instance of pricing scheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 335-335 | The number 4 argument of published price is an instance of pricing scheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 457-457 | The number 4 argument of rental price is an instance of pricing scheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 400-400 | The number 4 argument of unit price is an instance of pricing scheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 230-230 | The number 1 argument of valid for is an instance of pricing scheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 248-248 | The number 1 argument of valid payment type is an instance of pricing scheme |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 239-239 | The number 1 argument of validity period is an instance of pricing scheme |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 189-195 |
|