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


KB Term:  Term intersection
English Word: 

  MilitaryProcess

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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