| appearance as argument number 2 |
|
| (format ChineseLanguage bidPrice "%3 bids %2 對於 %1 ") | domainEnglishFormat.kif 2899-2899 | |
| (format ChineseTraditionalLanguage bidPrice "%3 bids %2 對於 %1 ") | domainEnglishFormat.kif 2898-2898 | |
| (format EnglishLanguage bidPrice "%3 bids %2 for %1") | domainEnglishFormat.kif 2897-2897 | |
| (termFormat ChineseLanguage bidPrice "竞标价格") | domainEnglishFormat.kif 10982-10982 | |
| (termFormat ChineseTraditionalLanguage bidPrice "競標價格") | domainEnglishFormat.kif 10981-10981 | |
| (termFormat EnglishLanguage bidPrice "bid price") | domainEnglishFormat.kif 10980-10980 |
| antecedent |
|
|
| (=> (and (instance ?AUCTIONING Auctioning) (instance ?BIDDER1 Agent) (instance ?BIDDER2 Agent) (instance ?ITEM Object) (instance ?U UnitOfCurrency) (patient ?AUCTIONING ?ITEM) (bidPrice ?ITEM (MeasureFn ?OFFER1 ?U) ?BIDDER1) (bidPrice ?ITEM (MeasureFn ?OFFER2 ?U) ?BIDDER2) (greaterThan ?OFFER1 ?OFFER2)) (destination ?AUCTIONING ?BIDDER1)) |
UXExperimentalTerms.kif 437-448 | |
| (=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT)))) |
UXExperimentalTerms.kif 1605-1612 |
|
| consequent |
|
|
| (=> (and (instance ?AUCTIONING Auctioning) (instance ?ITEM Object) (patient ?AUCTIONING ?ITEM)) (exists (?BIDDER ?OFFER) (and (instance ?BIDDER Agent) (instance ?OFFER CurrencyMeasure) (bidPrice ?ITEM ?OFFER ?BIDDER)))) |
UXExperimentalTerms.kif 426-435 | |
| (=> (and (instance ?BIDDING Bidding) (instance ?OBJECT Physical) (instance ?AMOUNT CurrencyMeasure) (instance ?AGENT ?AGENT) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT)) (bidPrice ?OBJECT ?AMOUNT ?AGENT)) |
UXExperimentalTerms.kif 1614-1623 | |
| (=> (and (instance ?U UnitOfCurrency) (reservePrice ?AUCTION (MeasureFn ?AMOUNT ?U)) (destination ?AUCTION ?BUYER)) (exists (?OFFER) (and (bidPrice ?ITEM (MeasureFn ?OFFER ?U) ?BUYER) (greaterThan ?OFFER ?AMOUNT)))) |
UXExperimentalTerms.kif 520-528 |
|
| (=> (and (listingBidder ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (exists (?MONEY) (bidPrice ?OBJ ?MONEY ?AGENT))) |
UXExperimentalTerms.kif 135-141 |
|
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