Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MarketInRegionFn |
| appearance as argument number 1 |
|
| (documentation MarketInRegionFn EnglishLanguage "The market in a particular region") | Economy.kif 6738-6738 | |
| (instance MarketInRegionFn UnaryFunction) | Economy.kif 6741-6741 | Market is an instance of unary function |
| (domain MarketInRegionFn 1 Region) | Economy.kif 6743-6743 | The number 1 argument of market is an instance of region |
| (range MarketInRegionFn MarketEconomics) | Economy.kif 6744-6744 | The range of market is an instance of market |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MarketInRegionFn "market") | Economy.kif 6739-6739 | |
| (format EnglishLanguage MarketInRegionFn "market in %1") | Economy.kif 6740-6740 |
| antecedent |
|
|
| (=> (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 |
|