productPrice |
appearance as argument number 1 |
(documentation productPrice EnglishLanguage "(productPrice ?ENT ?QUANT ?AGENT) means that CognitiveAgent ?AGENT sells items of type Entity ?ENT for CurrencyMeasure ?QUANT") | Catalog.kif 410-412 | |
(domain productPrice 2 CurrencyMeasure) | Catalog.kif 416-416 | productPrice 的 2 数量 是 货币测量 的 instance |
(domain productPrice 3 CognitiveAgent) | Catalog.kif 417-417 | productPrice 的 3 数量 是 有认知的主事 的 instance |
(domainSubclass productPrice 1 Entity) | Catalog.kif 415-415 | productPrice 的 1 数量 是 实体 的 subclass |
(instance productPrice TernaryPredicate) | Catalog.kif 409-409 | productPrice 是 三元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage productPrice "%3 sells %1 對於 %2 ") | domainEnglishFormat.kif 4242-4242 | |
(format ChineseTraditionalLanguage productPrice "%3 sells %1 對於 %2 ") | domainEnglishFormat.kif 4241-4241 | |
(format EnglishLanguage productPrice "%3 sells %1 for %2") | domainEnglishFormat.kif 4240-4240 | |
(termFormat EnglishLanguage productPrice "product price") | Catalog.kif 413-413 |
antecedent |
(=> (and (productPrice ?ENT (MeasureFn ?PRICE1 ?U) ?AGENT) (instance ?U UnitOfCurrency) (publishedPrice ?ENT (MeasureFn ?PRICE2 ?U) ?AGENT ?PS) (validFor ?PS ?CUSTCLASS) (instance ?ITEM ?ENT) (instance ?B Buying) (immediateInstance ?CUST ?CUSTCLASS) (agent ?B ?CUST) (origin ?B ?AGENT) (lessThan ?PRICE2 ?PRICE1)) (modalAttribute (transactionAmount ?B ?PRICE1) Likely)) |
Catalog.kif 430-445 |
|
(=> (productPrice ?ENT ?PRICE ?AGENT) (modalAttribute (=> (and (instance ?S Selling) (immediateInstance ?I ?ENT) (patient ?S ?I) (agent ?S ?AGENT)) (transactionAmount ?S ?PRICE)) Likely)) |
Catalog.kif 419-428 |