| 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 | |
| (domain reservePrice 2 CurrencyMeasure) | UXExperimentalTerms.kif 410-410 | |
| (instance reservePrice BinaryPredicate) | UXExperimentalTerms.kif 407-407 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners