askPrice - Sigma Knowledge base Browser

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 1947-1948
(domain askPrice 1 Object)	FinancialOntology.kif 1943-1943
(domain askPrice 2 CurrencyMeasure)	FinancialOntology.kif 1944-1944
(domain askPrice 3 AutonomousAgent)	FinancialOntology.kif 1945-1945
(instance askPrice TernaryRelation)	FinancialOntology.kif 1942-1942
(subrelation askPrice price)	FinancialOntology.kif 1941-1941

appearance as argument number 2

(format ChineseLanguage askPrice "%3 为了 %1 asks %2 ")	domainEnglishFormat.kif 2818-2818
(format ChineseTraditionalLanguage askPrice "%3 為了 %1 asks %2 ")	domainEnglishFormat.kif 2817-2817
(format EnglishLanguage askPrice "%3 asks for %2 for %1")	domainEnglishFormat.kif 2816-2816
(termFormat ChineseLanguage askPrice "问价格")	domainEnglishFormat.kif 8689-8689
(termFormat ChineseTraditionalLanguage askPrice "問價格")	domainEnglishFormat.kif 8688-8688
(termFormat EnglishLanguage askPrice "ask price")	domainEnglishFormat.kif 8687-8687

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 2025-2046
(=> (and (instance ?Stock PennyStock) (askPrice ?Stock (MeasureFn ?Price UnitedStatesDollar) ?Date)) (lessThan ?Price 5))	FinancialOntology.kif 2225-2229
(=> (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 1950-1960

consequent

(=>
    (equal ?P
        (equilibriumPriceFn ?OBJ ?M))
    (and
        (instance ?M MarketEconomics)
        (member ?OBJ ?M)
        (attribute ?M EquilibriumEconomics)
        (askPrice ?OBJ ?P ?AGENT)))

Economy.kif 6877-6883