unitPrice |
appearance as argument number 1 |
![]() |
(documentation unitPrice EnglishLanguage "(unitPrice ?ENT ?QUANT ?AGENT ?PS) is meant for objects that are not sold by the piece but by a certain unit of measure, for instance, vegetables that are sold by the pound. FunctionQuantity ?QUANT, in this case, refers to (PerFn CurrencyMeasure (MeasureFn RealNumber UnitOfMeasure)), which reads something like X amount of money per Y unit. This can be attached to a PricingScheme ?PS by CognitiveAgent ?AGENT") | Catalog.kif 376-381 | |
(domain unitPrice 2 FunctionQuantity) | Catalog.kif 383-383 | domain unitPrice, 2 and FunctionQuantity |
(domain unitPrice 3 CognitiveAgent) | Catalog.kif 384-384 | domain unitPrice, 3 and CognitiveAgent |
(domain unitPrice 4 PricingScheme) | Catalog.kif 385-385 | domain unitPrice, 4 and PricingScheme |
(domainSubclass unitPrice 1 Entity) | Catalog.kif 382-382 | domainSubclass unitPrice, 1 and Entity |
(instance unitPrice QuaternaryPredicate) | Catalog.kif 375-375 | instance unitPrice and QuaternaryPredicate |
appearance as argument number 2 |
![]() |
(format ChineseLanguage unitPrice "unit price 已收费 %3 在 %4 底下 对于 %2 是 %1 ") | domainEnglishFormat.kif 4883-4883 | |
(format ChineseTraditionalLanguage unitPrice "unit price 已收費 %3 在 %4 底下 對於 %2 是 %1 ") | domainEnglishFormat.kif 4882-4882 | |
(format EnglishLanguage unitPrice "the unit price charged %3 under %4 for %2 is %1") | domainEnglishFormat.kif 4881-4881 |
antecedent |
![]() |
consequent |
![]() |
(=> (priceRange ?ENT ?MIN ?MAX ?AGENT) (exists (?PRICE ?PS) (and (lessThanOrEqualTo ?PRICE ?MAX) (greaterThanOrEqualTo ?PRICE ?MIN) (or (publishedPrice ?ENT ?PRICE ?AGENT ?PS) (productPrice ?ENT ?PRICE ?AGENT) (unitPrice ?ENT ?PRICE ?AGENT ?PS))))) |
Catalog.kif 203-212 |
|
![]() |
![]() |