TreeView Knowledge Base Browser

appearance as argument number 1

(documentation SupplyPressure EnglishLanguage "In economics, 'supply pressure' refers to situations where the quantity of a good or service supplied exceeds the quantity demanded, leading to potential price decreases and market adjustments to restore equilibrium.")	Economy.kif 6831-6831
(instance SupplyPressure Attribute)	Economy.kif 6834-6834	Loose is an instance of attribute

appearance as argument number 2

(termFormat EnglishLanguage SupplyPressure "supply pressure")	Economy.kif 6832-6832
(termFormat EnglishLanguage SupplyPressure "loose")	Economy.kif 6833-6833

antecedent

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

If loose 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) Y is greater than Z