bidPrice |
appearance as argument number 1 |
![]() |
(documentation bidPrice EnglishLanguage "(bidPrice ?Obj ?Money ?Agent) means that ?Agent offers to buy ?Obj for the amount of ?Money.") | FinancialOntology.kif 1923-1924 | |
(domain bidPrice 1 Object) | FinancialOntology.kif 1920-1920 | |
(domain bidPrice 2 CurrencyMeasure) | FinancialOntology.kif 1921-1921 | |
(domain bidPrice 3 AutonomousAgent) | FinancialOntology.kif 1922-1922 | |
(instance bidPrice TernaryPredicate) | FinancialOntology.kif 1919-1919 | |
(subrelation bidPrice price) | FinancialOntology.kif 1918-1918 |
appearance as argument number 2 |
![]() |
(format ChineseLanguage bidPrice "%3 bids %2 對於 %1 ") | domainEnglishFormat.kif 2894-2894 | |
(format ChineseTraditionalLanguage bidPrice "%3 bids %2 對於 %1 ") | domainEnglishFormat.kif 2893-2893 | |
(format EnglishLanguage bidPrice "%3 bids %2 for %1") | domainEnglishFormat.kif 2892-2892 | |
(termFormat ChineseLanguage bidPrice "竞标价格") | domainEnglishFormat.kif 10988-10988 | |
(termFormat ChineseTraditionalLanguage bidPrice "競標價格") | domainEnglishFormat.kif 10987-10987 | |
(termFormat EnglishLanguage bidPrice "bid price") | domainEnglishFormat.kif 10986-10986 |
antecedent |
![]() |
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Selling ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (bidPrice ?Object (MeasureFn ?Price ?U) ?Time) (instance ?U UnitOfCurrency) (greaterThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Sell (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))) ?Broker)) |
FinancialOntology.kif 2045-2066 | |
(=> (and (instance ?AUCTIONING Auctioning) (instance ?BIDDER1 AutonomousAgent) (instance ?BIDDER2 AutonomousAgent) (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 354-365 | |
(=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT)))) |
UXExperimentalTerms.kif 1407-1414 | |
(=> (bidPrice ?Obj ?Money ?Agent) (exists (?Offering) (and (instance ?Offering Offering) (patient ?Offering (exists (?Buying) (and (instance ?Buying Buying) (agent ?Buying ?Agent) (patient ?Buying ?Obj) (transactionAmount ?Buying ?Money))))))) |
FinancialOntology.kif 1926-1936 |
consequent |
![]() |
(=> (and (instance ?AUCTIONING Auctioning) (instance ?ITEM Object) (patient ?AUCTIONING ?ITEM)) (exists (?BIDDER ?OFFER) (and (instance ?BIDDER AutonomousAgent) (instance ?OFFER CurrencyMeasure) (bidPrice ?ITEM ?OFFER ?BIDDER)))) |
UXExperimentalTerms.kif 343-352 | |
(=> (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 1416-1425 | |
(=> (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 | |
(=> (and (listingBidder ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (exists (?MONEY) (bidPrice ?OBJ ?MONEY ?AGENT))) |
UXExperimentalTerms.kif 109-115 |
![]() |
![]() |