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

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 8695-8695
(termFormat ChineseTraditionalLanguage askPrice "問價格")	domainEnglishFormat.kif 8694-8694
(termFormat EnglishLanguage askPrice "ask price")	domainEnglishFormat.kif 8693-8693

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 2022-2043
(=> (and (instance ?Stock PennyStock) (askPrice ?Stock (MeasureFn ?Price UnitedStatesDollar) ?Date)) (lessThan ?Price 5))	FinancialOntology.kif 2222-2226
(=> (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 1947-1957

consequent

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

Economy.kif 6964-6970