Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| reservePrice |
| appearance as argument number 1 |
|
| (instance reservePrice BinaryPredicate) | UXExperimentalTerms.kif 407-407 | reserve Price is an instance of binary predicate |
| (domain reservePrice 1 Auctioning) | UXExperimentalTerms.kif 409-409 | The number 1 argument of reserve Price is an instance of auctioning |
| (domain reservePrice 2 CurrencyMeasure) | UXExperimentalTerms.kif 410-410 | The number 2 argument of reserve Price is an instance of currency measure |
| (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 | The number 2 argument of reserve Price is an instance of currency measure |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage reservePrice "reserve Price") | UXExperimentalTerms.kif 408-408 | |
| (format EnglishLanguage reservePrice "the reserve price of %1 is %2") | domainEnglishFormat.kif 4416-4416 | |
| (format ChineseTraditionalLanguage reservePrice "%1 的 reserve price 是 %2 ") | domainEnglishFormat.kif 4417-4417 | |
| (format ChineseLanguage reservePrice "%1 的 reserve price 是 %2 ") | domainEnglishFormat.kif 4418-4418 |
| 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 | If X is an instance of unit of currency, the reserve price of Y is Z X(s), and Y ends up at W, then there exist V and U such that W bids V X(s) for U and V is greater than Z |
|