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 1909-1910 | |
(domain bidPrice 1 Object) | FinancialOntology.kif 1906-1906 | bidPrice の数値 1 引数は オブジェクト の instance では %n |
(domain bidPrice 2 CurrencyMeasure) | FinancialOntology.kif 1907-1907 | bidPrice の数値 2 引数は 通貨測定 の instance では %n |
(domain bidPrice 3 AutonomousAgent) | FinancialOntology.kif 1908-1908 | bidPrice の数値 3 引数は AutonomousAgent の instance では %n |
(instance bidPrice TernaryPredicate) | FinancialOntology.kif 1905-1905 | bidPrice は 3進述語 の instance では %n |
(subrelation bidPrice price) | FinancialOntology.kif 1904-1904 | bidPrice は price の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage bidPrice "%3 bids %2 對於 %1 ") | domainEnglishFormat.kif 2898-2898 | |
(format ChineseTraditionalLanguage bidPrice "%3 bids %2 對於 %1 ") | domainEnglishFormat.kif 2897-2897 | |
(format EnglishLanguage bidPrice "%3 bids %2 for %1") | domainEnglishFormat.kif 2896-2896 | |
(termFormat ChineseLanguage bidPrice "竞标价格") | domainEnglishFormat.kif 10973-10973 | |
(termFormat ChineseTraditionalLanguage bidPrice "競標價格") | domainEnglishFormat.kif 10972-10972 | |
(termFormat EnglishLanguage bidPrice "bid price") | domainEnglishFormat.kif 10971-10971 |
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 2031-2052 |
|
(=> (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 1912-1922 |
consequent |