askPrice |
appearance as argument number 1 |
(documentation askPrice EnglishLanguage "(askPrice ?Obj ?Money ?Agent) means that ?Agent offers to sell ?Obj for the amount of ?Money.") | FinancialOntology.kif 1930-1931 | |
(domain askPrice 1 Object) | FinancialOntology.kif 1926-1926 | askPrice の数値 1 引数は オブジェクト の instance では %n |
(domain askPrice 2 CurrencyMeasure) | FinancialOntology.kif 1927-1927 | askPrice の数値 2 引数は 通貨測定 の instance では %n |
(domain askPrice 3 AutonomousAgent) | FinancialOntology.kif 1928-1928 | askPrice の数値 3 引数は AutonomousAgent の instance では %n |
(instance askPrice TernaryRelation) | FinancialOntology.kif 1925-1925 | askPrice は 三進法関係 の instance では %n |
(subrelation askPrice price) | FinancialOntology.kif 1924-1924 | askPrice は price の subrelation では %n |
appearance as argument number 2 |
(format ChineseLanguage askPrice "%3 为了 %1 asks %2 ") | domainEnglishFormat.kif 2822-2822 | |
(format ChineseTraditionalLanguage askPrice "%3 為了 %1 asks %2 ") | domainEnglishFormat.kif 2821-2821 | |
(format EnglishLanguage askPrice "%3 asks for %2 for %1") | domainEnglishFormat.kif 2820-2820 | |
(termFormat ChineseLanguage askPrice "问价格") | domainEnglishFormat.kif 8688-8688 | |
(termFormat ChineseTraditionalLanguage askPrice "問價格") | domainEnglishFormat.kif 8687-8687 | |
(termFormat EnglishLanguage askPrice "ask price") | domainEnglishFormat.kif 8686-8686 |
antecedent |
(=> (and (attribute ?Order LimitOrder) (partyToAgreement ?Order ?Broker) (attribute ?Broker Broker) (orderFor ?Order Buying ?Object) (measure ?Object ?Quantity) (limitPrice ?Order (MeasureFn ?LimitPrice ?U)) (instance ?U UnitOfCurrency) (askPrice ?Object (MeasureFn ?Price ?U) ?Time) (lessThanOrEqualTo ?Price ?LimitPrice)) (holdsObligation (KappaFn ?Buy (and (instance ?Buy Buying) (patient ?Buy ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Buy) ?BuyingTime) (overlapsTemporally ?Time ?BuyingTime))) ?Broker)) |
FinancialOntology.kif 2008-2029 |
|
(=> (and (instance ?Stock PennyStock) (askPrice ?Stock (MeasureFn ?Price UnitedStatesDollar) ?Date)) (lessThan ?Price 5)) |
FinancialOntology.kif 2208-2212 |
|
(=> (askPrice ?Obj ?Money ?Agent) (exists (?Offering) (and (instance ?Offering Offering) (patient ?Offering (exists (?Selling) (and (instance ?Selling Selling) (agent ?Selling ?Agent) (patient ?Selling ?Obj) (transactionAmount ?Selling ?Money))))))) |
FinancialOntology.kif 1933-1943 |