Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PricingScheme
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PricingScheme Proposition) | Catalog.kif 184-184 | Pricing scheme is a subclass of proposition |
| (documentation PricingScheme EnglishLanguage "PricingScheme refers to the conditions attached to the price of a product of service") | Catalog.kif 185-186 | Pricing scheme is a subclass of proposition |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PricingScheme "pricing scheme") | Catalog.kif 187-187 |
| appearance as argument number 3 |
|
|
| (domain validFor 1 PricingScheme) | Catalog.kif 230-230 | The number 1 argument of valid for is an instance of pricing scheme |
| (domain validityPeriod 1 PricingScheme) | Catalog.kif 239-239 | The number 1 argument of validity period is an instance of pricing scheme |
| (domain validPaymentType 1 PricingScheme) | Catalog.kif 248-248 | The number 1 argument of valid payment type is an instance of pricing scheme |
| (domain pricePolicy 1 PricingScheme) | Catalog.kif 256-256 | The number 1 argument of rate policy is an instance of pricing scheme |
| (domain publishedPrice 4 PricingScheme) | Catalog.kif 335-335 | The number 4 argument of published price is an instance of pricing scheme |
| (domain unitPrice 4 PricingScheme) | Catalog.kif 400-400 | The number 4 argument of unit price is an instance of pricing scheme |
| (domain rentalPrice 4 PricingScheme) | Catalog.kif 457-457 | The number 4 argument of rental price is an instance of pricing scheme |
| antecedent |
|
|
| (=> (instance ?PS PricingScheme) (exists (?AGENT ?CREATE) (and (instance ?CREATE Creation) (result ?CREATE ?PS) (agent ?CREATE ?AGENT)))) |
Catalog.kif 189-195 | If X is an instance of pricing scheme, then there exist Y, Z such that Z is an instance of creation, X is a result of Z, and Y is an agent of Z |
|