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 391-396 | |
(domain unitPrice 2 FunctionQuantity) | Catalog.kif 398-398 | unitPrice 的 2 数量 是 函数量 的 instance |
(domain unitPrice 3 CognitiveAgent) | Catalog.kif 399-399 | unitPrice 的 3 数量 是 有认知的主事 的 instance |
(domain unitPrice 4 PricingScheme) | Catalog.kif 400-400 | unitPrice 的 4 数量 是 PricingScheme 的 instance |
(domainSubclass unitPrice 1 Entity) | Catalog.kif 397-397 | unitPrice 的 1 数量 是 实体 的 subclass |
(instance unitPrice QuaternaryPredicate) | Catalog.kif 390-390 | unitPrice 是 四元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage unitPrice "unit price 已收费 %3 在 %4 底下 对于 %2 是 %1 ") | domainEnglishFormat.kif 4878-4878 | |
(format ChineseTraditionalLanguage unitPrice "unit price 已收費 %3 在 %4 底下 對於 %2 是 %1 ") | domainEnglishFormat.kif 4877-4877 | |
(format EnglishLanguage unitPrice "the unit price charged %3 under %4 for %2 is %1") | domainEnglishFormat.kif 4876-4876 | |
(termFormat EnglishLanguage unitPrice "unit price") | domainEnglishFormat.kif 65967-65967 |
antecedent |