Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DemandFn |
| appearance as argument number 1 |
|
| (documentation DemandFn EnglishLanguage "The quantity of a good that consumers want to buy, and are able to purchase at various prices during a given time.") | Economy.kif 6796-6797 | |
| (instance DemandFn UnaryFunction) | Economy.kif 6799-6799 | Demand is an instance of unary function |
| (domain DemandFn 1 MarketEconomics) | Economy.kif 6800-6800 | The number 1 argument of demand is an instance of market |
| (range DemandFn Integer) | Economy.kif 6801-6801 | The range of demand is an instance of integer |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DemandFn "demand") | Economy.kif 6798-6798 |
| antecedent |
|
|
| (=> (equal ?NUMDEMANDED (DemandFn ?ME)) (exists (?DESIREDITEMS ?ITEMCLASS ?CLASS) (and (instance ?DESIREDITEMS CollectionOfObjects) (memberCount ?DESIREDITEMS ?NUMDEMANDED) (memberType ?ME ?ITEMCLASS) (=> (and (instance ?H Human) (instance ?ITEM ?ITEMCLASS) (=> (and (instance ?B1 ?CLASS) (subclass ?CLASS Buying) (patient ?B1 ?ITEM)) (capability ?CLASS agent ?H)) (desires ?H (exists (?B2) (and (instance ?B2 ?CLASS) (transactionAmount ?B2 ?CM) (patient ?B2 ?ITEM) (member ?ITEM ?ME) (agent ?B2 ?H))))) (member ?ITEM ?DESIREDITEMS))))) |
Economy.kif 6803-6828 | If equal X and demand Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of collection (3) X is a member count of Z (4) W is a member type of Y (5) U is an instance of human (6) T is an instance of W (7) S is an instance of V (8) V is a subclass of buying (9) T is a patient of SU is capable of doing V as a agent (10) U desires there exists R such that R is an instance of V (11) Q is a transaction amount of R (12) T is a patient of R (13) T is a member of Y (14) U is an agent of RT is a member of Z |
| 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 |
|