consequent

(=>     (and         (instance ?O Object)         (attribute ?O ForSale))     (exists (?ME)         (and             (instance ?ME MarketEconomics)             (member ?O MarketEconomics))))	Economy.kif 6714-6721	If X is an instance of object and for sale is an attribute of X, then there exists Y such that Y is an instance of market and X is a member of market
(=>     (equal ?M         (MarketOfItemFn ?OBJCLASS))     (and         (instance ?M MarketEconomics)         (memberType ?M ?OBJCLASS)))	Economy.kif 6731-6735	If equal X and Y market, then X is an instance of market and Y is a member type of X
(=>     (equal ?M         (MarketInRegionFn ?REGION))     (and         (instance ?M MarketEconomics)         (located ?M ?REGION)))	Economy.kif 6746-6750	If equal X and market in Y, then X is an instance of market and X is located at Y
(=>     (equal ?M         (MarketOfItemInRegionFn ?OBJ ?REGION))     (and         (instance ?M MarketEconomics)         (located ?M ?REGION)         (memberType ?M ?OBJ)))	Economy.kif 6762-6767	If equal X and market of Y in Z, then X is an instance of market, X is located at Z, and Y is a member type of X
(=>     (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
(=>     (and         (equal ?P             (EquilibriumPriceFn ?THING ?M))         (askPrice ?THING ?P ?AGENT))     (and         (instance ?M MarketEconomics)         (member ?THING ?M)         (attribute ?M EquilibriumEconomics)))	Economy.kif 6891-6898	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

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