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	The number 1 argument of ask price is an instance of object
(domain askPrice 2 CurrencyMeasure)	FinancialOntology.kif 1944-1944	The number 2 argument of ask price is an instance of currency measure
(domain askPrice 3 AutonomousAgent)	FinancialOntology.kif 1945-1945	The number 3 argument of ask price is an instance of agent
(instance askPrice TernaryRelation)	FinancialOntology.kif 1942-1942	ask price is an instance of ternary relation
(subrelation askPrice price)	FinancialOntology.kif 1941-1941	ask price is a subrelation of price

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 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 2025-2046	If limit order is an attribute of a financial transaction and an agreement is a party to agreement of the financial transaction and broker is an attribute of the agreement and the financial transaction is order for buying for a security and the measure of the security is a physical quantity and a real number an unit of measure(s) is a limit price of the financial transaction and the unit of measure is an instance of unit of currency and an agent asks for another real number the unit of measure(s) for the security and the other real number is less than or equal to the real number, then the agreement is obliged to perform tasks of type the class described by a symbolic string
(=> (and (instance ?Stock PennyStock) (askPrice ?Stock (MeasureFn ?Price UnitedStatesDollar) ?Date)) (lessThan ?Price 5))	FinancialOntology.kif 2225-2229	If an object is an instance of penny stock and an agent asks for a real number united states dollar(s) for the object, then the real number is less than 5
(=> (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	If an agent asks for a currency measure for an object, then there exists a process such that the process is an instance of offering and there exists an entity such that the entity is an instance of selling and the agent is an agent of the entity and the object is a patient of the entity and the currency measure is a transaction amount of the entity is a patient of the process

consequent

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

Economy.kif 6873-6879

If equal a currency measure and the market-clearing price of an object on the a market,
then the market is an instance of market and the object is a member of the market and equilibrium is an attribute of the market and an agent asks for the currency measure for the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: