EquilibriumEconomics - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language: Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - EquilibriumEconomics

EquilibriumEconomics(equilibrium)

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 6847-6847
(instance EquilibriumEconomics Attribute)	Economy.kif 6849-6849	Equilibrium is an instance of attribute

appearance as argument number 2

(termFormat EnglishLanguage EquilibriumEconomics "equilibrium")

Economy.kif 6848-6848

antecedent

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

Economy.kif 6851-6858

If equilibrium is an attribute of a market,
then there exist an integer and another integer such that the market is an instance of market and equal the integer and the supply of the market on the market and equal the other integer and demand the market and the approximate value of the other integer is the integer

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