TreeView Knowledge Base Browser - EquilibriumPriceFn

appearance as argument number 1

(documentation EquilibriumPriceFn EnglishLanguage "In economics, the equilibrium price is the price where the quantity of a good or service demanded by consumers equals the quantity supplied by producers, creating a stable market state. This is also known as the 'market-clearing price'.")	Economy.kif 6878-6880
(instance EquilibriumPriceFn BinaryFunction)	Economy.kif 6885-6885	Market-clearing price is an instance of binary function
(domain EquilibriumPriceFn 1 Physical)	Economy.kif 6887-6887	The number 1 argument of market-clearing price is an instance of physical
(domain EquilibriumPriceFn 2 MarketEconomics)	Economy.kif 6888-6888	The number 2 argument of market-clearing price is an instance of market
(range EquilibriumPriceFn CurrencyMeasure)	Economy.kif 6889-6889	The range of market-clearing price is an instance of currency measure

appearance as argument number 2

(termFormat EnglishLanguage EquilibriumPriceFn "equilibrium price")	Economy.kif 6881-6881
(termFormat EnglishLanguage EquilibriumPriceFn "market-clearing price")	Economy.kif 6882-6882
(format EnglishLanguage EquilibriumPriceFn "the equilibrium price of %1 on the %2")	Economy.kif 6883-6883
(format EnglishLanguage EquilibriumPriceFn "the market-clearing price of %1 on the %2")	Economy.kif 6884-6884

antecedent

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

If equal X and the market-clearing price of Y on the Z and W asks for X for Y, then Z is an instance of market, Y is a member of Z, and equilibrium is an attribute of Z