EquilibriumEconomics - Sigma Knowledge base Browser

appearance as argument number 1

(documentation EquilibriumEconomics EnglishLanguage "In economics, equilibrium refers to the situation where the economy's supply is equal to the demand")	Economy.kif 6862-6863
(instance EquilibriumEconomics Attribute)	Economy.kif 6865-6865	Equilibrium is an instance of attribute

appearance as argument number 2

antecedent

(=>
    (attribute ?M EquilibriumEconomics)
    (exists (?S ?D)
        (and
            (instance ?M MarketEconomics)
            (equal ?S
                (SupplyFn ?M))
            (equal ?D
                (DemandFn ?M))
            (approximateValue ?D ?S))))

If equilibrium is an attribute of X, then All of the following hold: (1) there exist Y (2) Z such that X is an instance of market (3) equal Y (4) the supply of X on the market (5) equal Z (6) demand X (7) the approximate value of Z is Y

consequent

(=>
    (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