reservePrice |
appearance as argument number 1 |
(documentation reservePrice EnglishLanguage "(reservePrice ?AUCTION ?AMOUNT) means that if an Auctioning was won (i.e. has a destination) then the buyer bid higher than ?AMOUNT.") | UXExperimentalTerms.kif 412-413 | |
(domain reservePrice 1 Auctioning) | UXExperimentalTerms.kif 409-409 | Le nombre 1 argument de reservePrice est une instance de Auctioning |
(domain reservePrice 2 CurrencyMeasure) | UXExperimentalTerms.kif 410-410 | Le nombre 2 argument de reservePrice est une instance de mesure de devise |
(instance reservePrice BinaryPredicate) | UXExperimentalTerms.kif 407-407 | reservePrice est une instance de pr�dicat binaire |
appearance as argument number 2 |
(format ChineseLanguage reservePrice "%1 的 reserve price 是 %2 ") | domainEnglishFormat.kif 4414-4414 | |
(format ChineseTraditionalLanguage reservePrice "%1 的 reserve price 是 %2 ") | domainEnglishFormat.kif 4413-4413 | |
(format EnglishLanguage reservePrice "the reserve price of %1 is %2") | domainEnglishFormat.kif 4412-4412 | |
(termFormat EnglishLanguage reservePrice "reserve Price") | UXExperimentalTerms.kif 408-408 |
antecedent |
(=> (and (instance ?U UnitOfCurrency) (reservePrice ?AUCTION (MeasureFn ?AMOUNT ?U)) (destination ?AUCTION ?BUYER)) (exists (?OFFER ?ITEM) (and (bidPrice ?ITEM (MeasureFn ?OFFER ?U) ?BUYER) (greaterThan ?OFFER ?AMOUNT)))) |
UXExperimentalTerms.kif 415-423 |
|