Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - SupplyFn
SupplyFn

appearance as argument number 1
-------------------------


(documentation SupplyFn EnglishLanguage "The number of items being sold on the market") Economy.kif 6770-6770
(instance SupplyFn UnaryFunction) Economy.kif 6773-6773 Supply is an instance of unary function
(domain SupplyFn 1 MarketEconomics) Economy.kif 6774-6774 The number 1 argument of supply is an instance of market
(range SupplyFn Integer) Economy.kif 6775-6775 The range of supply is an instance of integer

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage SupplyFn "supply") Economy.kif 6771-6771
(format EnglishLanguage SupplyFn "the supply of %1 on the market") Economy.kif 6772-6772

antecedent
-------------------------


(=>
    (equal ?SF
        (SupplyFn ?ME))
    (memberCount ?ME ?SF))		 Economy.kif 6777-6779 If equal X and the supply of Y on the market, then X is a member count of Y

consequent
-------------------------


(=>
    (attribute ?M SupplyPressure)
    (exists (?S ?D)
        (and
            (instance ?M MarketEconomics)
            (equal ?S
                (SupplyFn ?M))
            (equal ?D
                (DemandFn ?M))
            (greaterThan ?S ?D))))		 Economy.kif 6836-6843 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
(=>
    (attribute ?M DemandPressure)
    (and
        (instance ?M MarketEconomics)
        (equal ?S
            (SupplyFn ?M))
        (equal ?D
            (DemandFn ?M))
        (greaterThan ?D ?S)))		 Economy.kif 6852-6858 If tight is an attribute of X, then X is an instance of market, equal Y and the supply of X on the market, equal Z and demand X, and Z is greater than Y
(=>
    (attribute ?M EquilibriumEconomics)
    (exists (?S ?D)
        (and
            (instance ?M MarketEconomics)
            (equal ?S
                (SupplyFn ?M))
            (equal ?D
                (DemandFn ?M))
            (approximateValue ?D ?S))))		 Economy.kif 6867-6874 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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners